Theorem Submonoid.pointwise_smul_subset_iff

Modification history