Theorem Nat.nth_zero

Modification history