diff options
| author | David A. Madore <david+git@madore.org> | 2024-11-15 19:42:13 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2024-11-15 19:42:13 +0100 |
| commit | d1956ab064e171d50c41e4c5abb339ce1ac7e199 (patch) | |
| tree | af3db9b36fa07961def225331acae9a4047bc3ed | |
| parent | 10c0912f131cd3e95b83229feec9905965149af6 (diff) | |
| download | inf110-lfi-d1956ab064e171d50c41e4c5abb339ce1ac7e199.tar.gz inf110-lfi-d1956ab064e171d50c41e4c5abb339ce1ac7e199.tar.bz2 inf110-lfi-d1956ab064e171d50c41e4c5abb339ce1ac7e199.zip | |
Fix thinko.
| -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 769e1e4..2970367 100644 --- a/transp-inf110-01-calc.tex +++ b/transp-inf110-01-calc.tex @@ -1559,7 +1559,7 @@ p.r. telle que $e := b(k,d)$ vérifie \underline{Même preuve :} soit $s := s_{1,k}$ donné par le théorème s-m-n. La fonction $(t,\underline{x}) \mapsto -h(s(t,t),\underline{x})$ est p.r., disons $= +h(s(t,t),\underline{x})$ est générale récursive, disons $= \varphi_c^{(k+1)}(t,\underline{x})$. Alors \[ \varphi_{s(c,c)}^{(k)}(\underline{x}) |