Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-19 03:29 45140211

View on Github →

feat(algebra/category_theory/Group/epi_mono): about monomorphism and epimorphism in category of group (#14720) This pr proves that monomorphism and injective homomorphism are the same and epimorphism and surjective homomorphism are the same in Group. For CommGroup, AddGroup and AddCommGroup, the same is proved in #15496

Estimated changes