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 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}) |