Theorem Polynomial.iterate_derivative_intCast_mul

Modification history