Theorem Ideal.le_comap_mul

Modification history