Theorem Polynomial.expand_eval

Modification history