Def Nat.lt_succ_self

Modification history