Theorem Ideal.pointwise_smul_eq_comap

Modification history