Theorem Polynomial.derivative_intCast_mul

Modification history