Theorem Order.pred_eq_csSup

Modification history