Theorem Nat.choose_mul_factorial_mul_factorial

Modification history