Theorem Subgroup.centralizer_eq_comap_stabilizer

Modification history

2024-11-06 17:23
Mathlib/GroupTheory/GroupAction/ConjAct.lean
feat: several results on permutations, cycles, etc (#17046) …
Added Subgroup.centralizer_eq_comap_stabilizerView on Github →