Theorem Polynomial.eval_add

Modification history