Theorem Ideal.mul_sup

Modification history