Theorem IsZGroup.isCyclic_commutator

Modification history

2024-12-28 18:52
Mathlib/GroupTheory/SpecificGroups/ZGroup.lean
feat(GroupTheory/SpecificGroups/ZGroup): A finite Z-group has cyclic commutator subgroup (#20183) …
Added IsZGroup.isCyclic_commutatorView on Github →