Theorem Nat.choose_eq_descFactorial_div_factorial

Modification history