Theorem ascPochhammer_nat_eq_natCast_ascFactorial

Modification history