Theorem Submonoid.subset_pointwise_smul_iff

Modification history