Theorem Polynomial.eval₂_one

Modification history