Theorem Nat.nth_lt_nth_of_lt_card

Modification history