Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_hom.range_one

Modification history

2022-07-19 03:29
src/group_theory/subgroup/basic.lean
feat(algebra/category_theory/Group/epi_mono): about monomorphism and epimorphism in category of group (#14720) …
Added monoid_hom.range_oneView on Github →