Theorem Polynomial.sumIDeriv_apply

Modification history