Theorem Subgroup.finiteIndex_iff_finite_quotient

Modification history