Theorem Order.le_of_lt_succ

Modification history