Theorem Polynomial.iterate_derivative_X_sub_pow_self

Modification history