Theorem Subgroup.conj_smul_subgroupOf

Modification history