Theorem Order.Ideal.coe_sup_eq

Modification history