Theorem Ideal.pointwise_smul_subset_iff

Modification history