Theorem Order.Ideal.lt_sup_principal_of_not_mem

Modification history