Theorem Nat.nth_strictMono

Modification history