Theorem stabilizer_compl

Modification history

2025-11-04 09:08

Mathlib/GroupTheory/GroupAction/SubMulAction/OfStabilizer.lean

feat(Mathlib/GroupTheory/Perm/MaximalSubgroups): maximal subgroups of the permutation group (#26457) …

Added stabilizer_compl View on Github →