Theorem IsPGroup.iff_orderOf

Modification history

2026-07-16 05:00

Mathlib/GroupTheory/PGroup.lean

feat(GroupTheory/PGroup): expand p-group API (#40143) …

Modified IsPGroup.iff_orderOf View on Github →

2023-05-25 20:21

Mathlib/GroupTheory/PGroup.lean

feat: port GroupTheory.PGroup (#4318)

Added IsPGroup.iff_orderOf View on Github →