Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-12 17:23 b72300f3

View on Github →

feat(group_theory/sylow): all max groups normal imply sylow normal (#11841)

Estimated changes