Theorem Subgroup.conj_smul_le_of_le

Modification history