diff options
-rw-r--r-- | notes-mitro206.tex | 3 |
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). + % |