Theorem Subgroup.relindex_inf_mul_relindex

Modification history