Theorem Subgroup.smul_mem_pointwise_smul_iff

Modification history