mathlib3
a2bcfff3 - feat(category_theory/limits/zero): functor categories have zero morphisms

Commit

4 years ago

feat(category_theory/limits/zero): functor categories have zero morphisms

Author

kim-em

kim-em

Parents

Loading