diff options
| author | David A. Madore <david+git@madore.org> | 2025-11-14 19:10:23 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2025-11-14 19:10:23 +0100 |
| commit | 750e7daed56b4046a5a981a10eb5bfcde5c95c36 (patch) | |
| tree | 6695c9e95dce62e84b4851fac5b0275a996c77bc | |
| parent | 0a7ceb70fd08c1483431fd5bd478d064226cfb2a (diff) | |
| download | inf110-lfi-master.tar.gz inf110-lfi-master.tar.bz2 inf110-lfi-master.zip | |
| -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 |