Theorem Polynomial.eval_gcd_eq_zero

Modification history