Theorem IsPGroup.isCyclic_of_isZGroup

Modification history

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