Theorem Nat.nth_zero_of_zero

Modification history