Theorem Subgroup.relIndex_pos

Modification history

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