mathlib3
7deded5d - Merge branch 'functor_category_has_zero_morphisms' into homology2

Commit

4 years ago

Merge branch 'functor_category_has_zero_morphisms' into homology2

Author

kim-em

kim-em

Parents

Loading