Theorem Nat.nth_mem_of_infinite

Modification history