Theorem Polynomial.aeval_sumIDeriv

Modification history