Theorem Sylow.mapSurjective_surjective

Modification history

2024-11-13 20:45
Mathlib/GroupTheory/Sylow.lean
feat(GroupTheory/Sylow): Surjective group homomorphisms map Sylow subgroups to Sylow subgroups (#18783) …
Added Sylow.mapSurjective_surjectiveView on Github →