Theoremintro
Minimax theorem
Also called von Neumann minimax theorem.
In a finite two-player zero-sum game with mixed strategies, the maximin and minimax values are equal.
In a finite two-player zero-sum game with mixed strategies, the maximin and minimax values are equal.
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 C14532 Edit this page History Report an error