Definitioncore
Total variation distance
Also called statistical distance.
Maximum difference in probability between two distributions over events; the usual measure of convergence.
Maximum difference in probability between two distributions over events; the usual measure of convergence.
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 DSP0ES Edit this page History Report an error