Theorem Polynomial.eval₂_pow

Modification history