Theoremadvanced
Sprague-Grundy theorem
Also called Sprague-Grundy theorem for impartial games.
Every impartial game position is equivalent to a Nim heap of size equal to its Grundy number.
Every impartial game position is equivalent to a Nim heap of size equal to its Grundy number.
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 AMWPCY Edit this page History Report an error