Theorem Subgroup.ker_subgroupMap

Modification history

2024-12-23 10:59
Mathlib/Algebra/Group/Subgroup/Ker.lean
feat(GroupTheory/SpecificGroups/ZGroup): Extension of coprime Z-groups is a Z-group (#20147) …
Added Subgroup.ker_subgroupMapView on Github →