mathlib3
8575f592 - feat(category_theory/limits): preservation of zero morphisms (#12068)

Commit

3 years ago

feat(category_theory/limits): preservation of zero morphisms (#12068)

Author

TwoFX

TwoFX

Parents

Loading