menu

Return to entry

Bounded_Degree_Polynomials
Lagrange_Interpolation
Interpolation_Polynomial_Cardinalities

Interpolation_Polynomials_HOL_Algebra.Lagrange_Interpolation

HTML Presentation