Theorem Polynomial.eval_mul_X_pow

Modification history