Theorem pochhammer_nat_eq_ascFactorial

Modification history