Theorem pochhammer_nat_eq_descFactorial

Modification history