Def Nat.lt_of_succ_le

Modification history