Theorem Polynomial.sum_taylor_eq

Modification history