Theorem Nat.lt_succ_iff

Modification history