Theorem Subgroup.finiteIndex_of_finite_quotient

Modification history