Theorem Nat.nth_mem_of_lt_card

Modification history