Theorem ascPochhammer_nat_eq_descFactorial

Modification history