Theorem IsSimpleGroup.finite

Modification history

2026-01-08 08:52
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat(GroupTheory/SpecificGroups/Cyclic): generalize the proof of prime_card by not assuming Finite (#32152) …
Added IsSimpleGroup.finiteView on Github →