Theorem descPochhammer_int_eq_descFactorial

Modification history