Theorem Order.succ_eq_iff_isMax

Modification history