Def Sylow.mapSurjective

Modification history

2026-10-13 22:16
Mathlib/GroupTheory/Sylow.lean
chore(GroupTheory/Sylow): spell `Sylow` using `Maximal` (#44454) …
Modified Sylow.mapSurjectiveView on Github →
2024-11-13 20:45
Mathlib/GroupTheory/Sylow.lean
feat(GroupTheory/Sylow): Surjective group homomorphisms map Sylow subgroups to Sylow subgroups (#18783) …
Added Sylow.mapSurjectiveView on Github →