Theorem Nat.cast_choose_eq_pochhammer_div

Modification history