Mathlib v3 is deprecated. Go to Mathlib v4

Def Group.surjective_of_epi_auxs.H

Modification history

2022-07-19 03:29

src/algebra/category/Group/epi_mono.lean

feat(algebra/category_theory/Group/epi_mono): about monomorphism and epimorphism in category of group (#14720) …

Added Group.surjective_of_epi_auxs.H View on Github →