Theorem IsZGroup.isZGroup_of_coprime

Modification history

2025-01-13 10:02
Mathlib/GroupTheory/SpecificGroups/ZGroup.lean
feat(GroupTheory/SpecificGroups/ZGroup): Commutator subgroup of a Z-group is a Hall subgroup (#20694) …
Deleted IsZGroup.isZGroup_of_coprimeView on Github →
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 IsZGroup.isZGroup_of_coprimeView on Github →