Theorem Nat.nth_lt_nth

Modification history