Theorem Polynomial.eval₂_X

Modification history