Theorem Polynomial.eval₂_add

Modification history