Theorem Order.succ_ne_succ_iff

Modification history