Theorem Polynomial.taylor_mul

Modification history