Theorem Polynomial.sumIDeriv_C

Modification history