Theorem Polynomial.iterate_derivative_eq_zero

Modification history