Theorem Ideal.mem_inv_pointwise_smul_iff

Modification history