Theorem Subgroup.not_finiteIndex_iff

Modification history

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 →