Skip to content

add refl prefunctor congr for obj and hom

e9c799f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat(Combinatorics/Quiver): add congruence theorems for reflexive prefunctors #30580

add refl prefunctor congr for obj and hom
e9c799f
Select commit
Loading
Failed to load commit list.