Theorem Nat.choose_eq_zero_of_lt

Modification history