mathlib
2ab67aa2 - feat(category_theory/.../zero): if a zero morphism is a mono, the source is zero

Commit

4 years ago

feat(category_theory/.../zero): if a zero morphism is a mono, the source is zero

Author

kim-em

kim-em

Parents

Loading