Theorem Polynomial.derivative_smul

Modification history