Theorem Subgroup.relindex_ker

Modification history