Theorem Polynomial.eq_C_coeff_zero_iff_natDegree_eq_zero

Modification history