Interpolation_Polynomials_HOL_Algebra

Bounded_Degree_Polynomials

Lagrange_Interpolation

Interpolation_Polynomial_Cardinalities