Theorem MulEquiv.isSimpleGroup

Modification history

2025-07-15 08:10
Mathlib/GroupTheory/Subgroup/Simple.lean
feat: equivalent condition for subgroups to be simple (#26552) …
Added MulEquiv.isSimpleGroupView on Github →