Theorem Polynomial.eval_intCast

Modification history