Theorem Nat.nth_strictMonoOn

Modification history