Theorem Polynomial.eq_C_of_natDegree_eq_zero

Modification history