Theorem Polynomial.coeff_zero_eq_aeval_zero

Modification history