Theorem Polynomial.eval_sub

Modification history