Theorem Polynomial.eval₂_X_pow

Modification history