Theorem Subgroup.index_ker

Modification history