Theorem descPochhammer_int_eq_ascFactorial

Modification history