Theorem Ideal.sup_mul

Modification history