Theorem Subgroup.index_ne_zero

Modification history

2026-10-17 18:35
Mathlib/GroupTheory/Index.lean
feat: lemmas for subgroups of finite index (#44957)
Added Subgroup.index_ne_zeroView on Github →