Commit 2020-05-28 07:02 315ba3e3
View on Github →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
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