Theorem IsPGroup.le_or_disjoint_of_coprime

Modification history

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