Theorem Polynomial.aeval_iterate_derivative_of_lt

Modification history