Theorem Subgroup.not_finiteIndex_iff

Modification history

2026-03-06 23:17
Mathlib/GroupTheory/Index.lean
feat: some lemmas about finite index subgroups/submodules (#36227) …
Modified Subgroup.not_finiteIndex_iffView on Github →
2025-09-01 13:46
Mathlib/GroupTheory/Index.lean
feat(NumberField/Units): compute index of unit subgroups using regulators (#26075) …
Added Subgroup.not_finiteIndex_iffView on Github →