Theorem Polynomial.eval₂_neg

Modification history