Theorem Polynomial.eval_monomial_one_add_sub

Modification history