Theoremcore
Weierstrass approximation theorem
Also called Weierstrass theorem.
Every continuous function on a closed interval is a uniform limit of polynomials.
Every continuous function on a closed interval is a uniform limit of polynomials.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag 82S31K Edit this page History Report an error