Theorem Polynomial.sumIDeriv_X

Modification history