Theorem Order.Ideal.sup_mem_iff

Modification history