Mathlib.Analysis.Approximation

Chebyshev and Jackson approximation theory.

Chebyshev 176 core · 238 supporting · 39 submodules Quantitative theory of uniform approximation by real polynomials.