diff options
| author | David A. Madore <david+git@madore.org> | 2021-03-22 16:32:32 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2021-03-22 16:32:32 +0100 |
| commit | 98296d7e4da481cb7825107de34a49919e1ba784 (patch) | |
| tree | e8b99fb20d62fd9ebfabf8711b8646d17346690b | |
| parent | 24e7116142bea766dba84feed396d410325caaf1 (diff) | |
| download | mitro206-98296d7e4da481cb7825107de34a49919e1ba784.tar.gz mitro206-98296d7e4da481cb7825107de34a49919e1ba784.tar.bz2 mitro206-98296d7e4da481cb7825107de34a49919e1ba784.zip | |
Typo.
| -rw-r--r-- | notes-mitro206.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex index 7e5d283..f73c7b3 100644 --- a/notes-mitro206.tex +++ b/notes-mitro206.tex @@ -5243,7 +5243,7 @@ ensemble contenant $\alpha_1\oplus\alpha_2'$, donc il ne peut pas lui \begin{thm}\label{nim-sum-for-games-versus-ordinals} Si $G_1,G_2$ sont deux jeux combinatoires impartiaux bien-fondés ayant valeurs de Grundy respectivement $\alpha_1,\alpha_2$, alors la valeur -de Grundy de $G_1\oplus G_2$ est $\alpha_2\oplus\alpha_2$. +de Grundy de $G_1\oplus G_2$ est $\alpha_1\oplus\alpha_2$. \end{thm} \begin{proof} On procède par induction bien-fondée sur les positions de $G_1\oplus |