Theorem Subgroup.index_center_le_pow

Modification history