Theorem Sylow.finite_of_finiteIndex

Modification history

2026-02-26 14:02
Mathlib/GroupTheory/Sylow.lean
feat(GroupTheory/Focal): add focal subgroup theorem (#34380) …
Added Sylow.finite_of_finiteIndexView on Github →