Theorem Pochhammer_int_eq_descFactorial

Modification history