Theorem Ring.descPochhammer_eq_factorial_smul_choose

Modification history