Theorem Polynomial.derivative_int_cast

Modification history