Theorem Order.pred_eq_iSup

Modification history