Theorem Submonoid.le_pointwise_smul_iff₀

Modification history