Theorem Order.Ideal.eq_sup_of_le_sup

Modification history