Theorem Ring.factorial_nsmul_multichoose_eq_eval_ascPochhammer

Modification history