Theorem Nat.nth_monotone

Modification history