Theorem Nat.nth_zero_of_exists

Modification history