diff options
| -rw-r--r-- | transp-inf110-01-calc.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/transp-inf110-01-calc.tex b/transp-inf110-01-calc.tex index 7a57f27..8ebfc53 100644 --- a/transp-inf110-01-calc.tex +++ b/transp-inf110-01-calc.tex @@ -3182,7 +3182,7 @@ Exemples : \itempoint\textbf{Théorème} (Church-Rosser) : si $T \twoheadrightarrow T'_1$ et $T \twoheadrightarrow T'_2$ alors il existe $T''$ tel que -$T'_1 \twoheadrightarrow T''$ et $T''_2 \twoheadrightarrow T''$. +$T'_1 \twoheadrightarrow T''$ et $T'_2 \twoheadrightarrow T''$. \smallskip |