summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2021-03-22 16:32:32 +0100
committerDavid A. Madore <david+git@madore.org>2021-03-22 16:32:32 +0100
commit98296d7e4da481cb7825107de34a49919e1ba784 (patch)
treee8b99fb20d62fd9ebfabf8711b8646d17346690b
parent24e7116142bea766dba84feed396d410325caaf1 (diff)
downloadmitro206-98296d7e4da481cb7825107de34a49919e1ba784.tar.gz
mitro206-98296d7e4da481cb7825107de34a49919e1ba784.tar.bz2
mitro206-98296d7e4da481cb7825107de34a49919e1ba784.zip
Typo.
-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