From 750e7daed56b4046a5a981a10eb5bfcde5c95c36 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Fri, 14 Nov 2025 19:10:23 +0100 Subject: Typo. --- transp-inf110-01-calc.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3