summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--notes-mitro206.tex2
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