Theorem Order.pred_eq_sSup

Modification history