Theoremintro
Binomial theorem
A formula that expands a power of a sum of two terms into a sum of terms weighted by binomial coefficients.
A formula that expands a power of a sum of two terms into a sum of terms weighted by binomial coefficients.
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 Y89Q1Y Edit this page History Report an error