From e8e5db2025c888744564e0d82960d4775cb1dd1f Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 22 Mar 2016 18:11:29 +0100
Subject: Add more to index.

---
 notes-mitro206.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'notes-mitro206.tex')

diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index 6e7d13f..bd89ae5 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -1957,10 +1957,10 @@ théorème \ref{gale-stewart-theorem} et ce qu'on vient de dire, et il
 assez technique à démontrer :
 
 \begin{thm}[D. A. Martin, 1975]
-Si $A \subseteq X^{\mathbb{N}}$ est \emph{borélien}, c'est-à-dire
+Si $A \subseteq X^{\mathbb{N}}$ est \defin{borélien}, c'est-à-dire
 appartient à la plus petite partie de $\mathscr{P}(X^{\mathbb{N}})$
 stable par complémentaire et réunions dénombrables (également appelée
-« tribu ») contenant les ouverts, alors le jeu $G_X(A)$ est déterminé.
+\defin{tribu}) contenant les ouverts, alors le jeu $G_X(A)$ est déterminé.
 \end{thm}
 
 (Autrement dit, non seulement un ouvert et un fermé sont déterminés,
-- 
cgit v1.2.3

