Theorem ascPochhammer_nat_eq_natCast_descFactorial

Modification history