Theorem Ideal.sup_mul_right_self

Modification history