Theorem Ideal.sum_eq_sup

Modification history