Theorem Polynomial.aeval_iterate_derivative_of_ge

Modification history