Interpolation_Polynomials_HOL_Algebra.Bounded_Degree_Polynomials