Mathlib v3 is deprecated. Go to Mathlib v4

Theorem sylow.stabilizer_eq_normalizer

Modification history

2022-06-08 09:31
src/group_theory/sylow.lean
feat(group_theory/sylow): The index of a sylow subgroup is indivisible by the prime (#14518) …
Modified sylow.stabilizer_eq_normalizerView on Github →
2021-10-01 03:25
src/group_theory/sylow.lean
feat(group_theory/sylow): The number of Sylow subgroups equals the index of the normalizer (#9455) …
Added sylow.stabilizer_eq_normalizerView on Github →