summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-11-08 09:51:54 +0100
committerDavid A. Madore <david+git@madore.org>2023-11-08 09:51:54 +0100
commit54b8ae4e6082f6286a7bb8dd20a2c02537df8335 (patch)
tree9664433c00fba9f0b4e251030ea56cfab60df960
parente98be112f2481863af60daef512cfb1660c33c03 (diff)
downloadinf110-lfi-54b8ae4e6082f6286a7bb8dd20a2c02537df8335.tar.gz
inf110-lfi-54b8ae4e6082f6286a7bb8dd20a2c02537df8335.tar.bz2
inf110-lfi-54b8ae4e6082f6286a7bb8dd20a2c02537df8335.zip
Rephrase for clarity.
-rw-r--r--transp-inf110-01-calc.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/transp-inf110-01-calc.tex b/transp-inf110-01-calc.tex
index 7b5a138..de79253 100644
--- a/transp-inf110-01-calc.tex
+++ b/transp-inf110-01-calc.tex
@@ -949,7 +949,7 @@ p.r., disons $= \psi_c^{(k+1)}(t,\underline{x})$. Alors
= \psi_{c}^{(k+1)}(c, \underline{x})
= h(s(c,c),\underline{x})
\]
-donc $e := s(c,c)$ convient. Les fonctions $d \mapsto c \mapsto e$
+donc $e := s(c,c)$ convient. Les fonctions $d \mapsto c$ et $c \mapsto e$
sont p.r.\qed
\bigskip
@@ -1554,7 +1554,7 @@ h(s(t,t),\underline{x})$ est p.r., disons $=
= \varphi_{c}^{(k+1)}(c, \underline{x})
= h(s(c,c),\underline{x})
\]
-donc $e := s(c,c)$ convient. Les fonctions $d \mapsto c \mapsto e$
+donc $e := s(c,c)$ convient. Les fonctions $d \mapsto c$ et $c \mapsto e$
sont p.r.\qed
\bigskip