Theorem Polynomial.eval_zero

Modification history