Theorem Subgroup.relindex_pointwise_smul

Modification history