Mathlib v3 is deprecated. Go to Mathlib v4

Theorem sylow.orbit_eq_top

Modification history

2022-08-17 14:53
src/group_theory/sylow.lean
chore(group_theory/*): Fix lint (#16095) …
Modified sylow.orbit_eq_topView 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.orbit_eq_topView on Github →