Theorem AddSubgroup.le_pointwise_smul_iff

Modification history