From d1956ab064e171d50c41e4c5abb339ce1ac7e199 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Fri, 15 Nov 2024 19:42:13 +0100
Subject: Fix thinko.

---
 transp-inf110-01-calc.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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})
-- 
cgit v1.2.3