Theorem Polynomial.iterate_derivative_eq_factorial_smul_sum

Modification history