Definitionadvanced
Neighbourhood function
Also called hop plot.
For each h, the number of node pairs within distance h.
For each h, the number of node pairs within distance h.
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 92DX1P Edit this page History Report an error