Theorem Polynomial.C_eq_zero

Modification history