Theorem Ideal.subset_pointwise_smul_iff

Modification history