Theorem Polynomial.derivative_X_add_C

Modification history