Theorem Polynomial.degree_eq_iff_natDegree_eq

Modification history