summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-02-25 23:52:05 +0100
committerDavid A. Madore <david+git@madore.org>2016-02-25 23:52:05 +0100
commit7a40ede5a678b7bce8bf7bf7338ae5accd985b25 (patch)
treee65974a097965fa3b0c7c571ba2593aa33fdc073
parent17bf12ba79c7979b1603921f4c7845676712086c (diff)
downloadmitro206-7a40ede5a678b7bce8bf7bf7338ae5accd985b25.tar.gz
mitro206-7a40ede5a678b7bce8bf7bf7338ae5accd985b25.tar.bz2
mitro206-7a40ede5a678b7bce8bf7bf7338ae5accd985b25.zip
Self-note.
-rw-r--r--notes-mitro206.tex3
1 files changed, 3 insertions, 0 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index 8531cdb..fa808a7 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -1900,6 +1900,9 @@ ne choisissent un coup qu'en fonction du sommet $x \in G$.
\textcolor{red}{À compléter.}
+% Note: if we consider the tree of the historical strategy, all of its
+% branches are finite (because an infinite branch would be a draw).
+
%