Theorem Polynomial.exists_iterate_derivative_eq_factorial_smul

Modification history