diff options
| author | David A. Madore <david+git@madore.org> | 2023-11-08 09:51:54 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-11-08 09:51:54 +0100 |
| commit | 54b8ae4e6082f6286a7bb8dd20a2c02537df8335 (patch) | |
| tree | 9664433c00fba9f0b4e251030ea56cfab60df960 /transp-inf110-01-calc.tex | |
| parent | e98be112f2481863af60daef512cfb1660c33c03 (diff) | |
| download | inf110-lfi-54b8ae4e6082f6286a7bb8dd20a2c02537df8335.tar.gz inf110-lfi-54b8ae4e6082f6286a7bb8dd20a2c02537df8335.tar.bz2 inf110-lfi-54b8ae4e6082f6286a7bb8dd20a2c02537df8335.zip | |
Rephrase for clarity.
Diffstat (limited to 'transp-inf110-01-calc.tex')
| -rw-r--r-- | transp-inf110-01-calc.tex | 4 |
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 |