Theorem Ideal.sup_mul_inf

Modification history