From 3dfb5305ca8713bf696644cf5c4a9de54b0eae96 Mon Sep 17 00:00:00 2001
From: oskar <oscar.plaisant@icloud.com>
Date: Mon, 23 Mar 2026 00:40:03 +0100
Subject: [PATCH] MacBook-Pro-de-Oscar.local 2026-3-23:0:40:3

---
 .obsidian/plugins/obsidian-latex-suite/data.json | 4 ++--
 fonction d'ackermann de cori et lascar.md        | 8 +++++++-
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/.obsidian/plugins/obsidian-latex-suite/data.json b/.obsidian/plugins/obsidian-latex-suite/data.json
index 1d5066c2..86c9cc0d 100644
--- a/.obsidian/plugins/obsidian-latex-suite/data.json
+++ b/.obsidian/plugins/obsidian-latex-suite/data.json
@@ -3,8 +3,8 @@
   "snippetVariables": "{\n\t\"${GREEK}\": \"alpha|beta|gamma|Gamma|delta|Delta|epsilon|varepsilon|zeta|eta|theta|vartheta|Theta|iota|kappa|lambda|Lambda|mu|nu|xi|omicron|pi|rho|varrho|sigma|Sigma|tau|upsilon|Upsilon|phi|varphi|Phi|chi|psi|omega|Omega\",\n\t\"${SYMBOL}\": \"parallel|perp|partial|nabla|hbar|ell|infty|oplus|ominus|otimes|oslash|square|star|dagger|vee|wedge|subseteq|subset|supseteq|supset|emptyset|exists|nexists|forall|implies|impliedby|iff|setminus|neg|lor|land|bigcup|bigcap|cdot|times|simeq|approx\",\n\t\"${MORE_SYMBOLS}\": \"leq|geq|neq|gg|ll|equiv|sim|propto|rightarrow|leftarrow|Rightarrow|Leftarrow|leftrightarrow|to|mapsto|cap|cup|in|sum|prod|exp|ln|log|det|dots|vdots|ddots|pm|mp|int|iint|iiint|oint\"\n}\n",
   "snippetsEnabled": true,
   "snippetsTrigger": "Tab",
-  "snippetNextTabstopTrigger": "ArrowRight",
-  "snippetPreviousTabstopTrigger": "ArrowLeft",
+  "snippetNextTabstopTrigger": "Shift-ArrowRight",
+  "snippetPreviousTabstopTrigger": "Shift-ArrowLeft",
   "suppressSnippetTriggerOnIME": true,
   "suppressIMEWarning": false,
   "removeSnippetWhitespace": true,
diff --git a/fonction d'ackermann de cori et lascar.md b/fonction d'ackermann de cori et lascar.md
index 1ccf2ae7..b47583c2 100644
--- a/fonction d'ackermann de cori et lascar.md	
+++ b/fonction d'ackermann de cori et lascar.md	
@@ -189,9 +189,15 @@ aliases:
 > > On procède par récurrence sur $k$
 > >  - **Initialisation :** Pour $k=0$ et $k=1$, l'égalité est claire par croissance de $\xi _{n}$
 > >  - **Récurrence :** Supposons que $\xi _{n}^{k}(x) \leq \xi _{n+1}(x+k)$
-> >    
+> >    $\xi _{n}^{k+1}(x) = \xi _{n} \circ \xi _{n}^{k}(x) \underbrace{\leq \xi _{n}(\xi _{n+1}(x+k))}_{\text{par hypothèse}} \underbrace{=\xi _{n}(x+k+1)}_{\text{par définition de }\xi _{n}}$
 ^lemme-6
 
+> [!proposition]+ Lemme 7
+> Soient $g \in \mathscr{F}_{p}$ et $h \in \mathscr{F}_{p+2}$
+> Si $g$ et $h$ sont dans $C_{n}$
+> Alors la fonction $f$ [[fonction récursive primitive#^definition|définie par récurrence à partir]] de $g$ et $h$ ($f = \rho(g, h)$) appartient à $C_{n+1}$
+> 
+
 # Exemples