Theorem Polynomial.derivative_sum

Modification history