Theorem Order.succ_eq_zero

Modification history