Theorem Nat.nth_eq_zero_mono

Modification history