Theorem Polynomial.eval_mul_X

Modification history