Theorem Nat.choose_mono

Modification history