Theorem AddSubgroup.relindex_pointwise_smul

Modification history