Theorem Polynomial.eval_pow

Modification history