Theorem Subgroup.finiteIndex_bot_iff

Modification history

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