From 462560f7f88b69c2800f2f7eff024789b82dec08 Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Thu, 11 Sep 2025 15:54:22 +0200
Subject: [PATCH] MacBook-Pro-de-Oscar.local 2025-9-11:15:54:22

---
 .obsidian/appearance.json                           | 3 ++-
 .obsidian/plugins/obsidian-style-settings/data.json | 2 +-
 théorème de lecture unique.md                       | 8 ++++++++
 3 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/.obsidian/appearance.json b/.obsidian/appearance.json
index e16fdb53..d4f30e22 100644
--- a/.obsidian/appearance.json
+++ b/.obsidian/appearance.json
@@ -46,5 +46,6 @@
   "baseFontSizeAction": true,
   "showViewHeader": true,
   "translucency": false,
-  "nativeMenus": false
+  "nativeMenus": false,
+  "showRibbon": false
 }
\ No newline at end of file
diff --git a/.obsidian/plugins/obsidian-style-settings/data.json b/.obsidian/plugins/obsidian-style-settings/data.json
index 199a04e2..4acb9bfc 100644
--- a/.obsidian/plugins/obsidian-style-settings/data.json
+++ b/.obsidian/plugins/obsidian-style-settings/data.json
@@ -83,7 +83,7 @@
   "Appearance-dark@@theme-dark-style-select": "theme-dark-background-darker",
   "Appearance-dark@@card-layout-open-dark": true,
   "Plugin@@colorful-checkbox": false,
-  "pane-relief@@pr-sliding-panes-desktop-width": "calc(50vw - 0*var(--ribbon-width))",
+  "pane-relief@@pr-sliding-panes-desktop-width": "calc(50vw - 0.6*var(--ribbon-width))",
   "minimal-edge-settings@@disable-border": false,
   "minimal-edge-settings@@background-theme": "eclipse-theme",
   "minimal-style@@file-header-font-size": "1.2em",
diff --git a/théorème de lecture unique.md b/théorème de lecture unique.md
index c0edf5db..de7181b2 100644
--- a/théorème de lecture unique.md	
+++ b/théorème de lecture unique.md	
@@ -21,5 +21,13 @@ aliases:
 >  - dans 3. $v$ est unique et déterminé 
 >  - dans 4. $f'$ est unique et déterminé
 >  - dans 5. 6. 7. et 8. $f_1$ et $f_2$ sont uniques et déterminés
+> 
+> > [!démonstration]- Démonstration
+> > Soit $H \in \mathcal{F}_{V}$ une formule
+> > On distingue 3 cas principaux et disjoints (on peut préciser plus en déclinant les 8 cas distincts) :
+> >  1. $\exists P \in \mathcal{F}_{V},\quad H = P \in V$ et de plus on remarque que $p$ est unique
+> >  2. $\exists G \in \mathcal{F}_{V},\quad \neg G$ et de plus $G$ est unique
+> >  3. $H$ 
+> >  4. 
 ^thm