Theorem Ideal.sup_mul_left_self

Modification history