mathlib
315ba3e3 - feat(category_theory): show an epi regular mono is an iso (#2781)

Commit

5 years ago

feat(category_theory): show an epi regular mono is an iso (#2781) a really minor proof to show that a regular mono which is epi is an iso

Author

b-mehta

Parents