Theorem Subgroup.index_pos

Modification history

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