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 269df80..94b44f6 100644 --- a/transp-inf110-01-calc.tex +++ b/transp-inf110-01-calc.tex @@ -3249,7 +3249,7 @@ d'entiers naturels. \bigskip \itempoint La fonction $T \mapsto 1$ qui à un terme $T$ associe $0$ si -$t$ est en forme normale et $1$ si non, \textbf{est p.r.} +$T$ est en forme normale et $1$ si non, \textbf{est p.r.} \medskip |