Theorem Sylow.isPGroup

Modification history

2026-10-13 22:16
Mathlib/GroupTheory/Sylow.lean
chore(GroupTheory/Sylow): spell `Sylow` using `Maximal` (#44454) …
Added Sylow.isPGroupView on Github →