Theorem Polynomial.sumIDeriv_derivative

Modification history