Theorem Subgroup.finite_iff_finite_and_finiteIndex

Modification history