From d0d04d281699b918e99df1a491f428b4bc612988 Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Tue, 23 Sep 2025 15:31:13 +0200
Subject: [PATCH] eduroam-prg-sg-1-45-234.net.univ-paris-diderot.fr
 2025-9-23:15:31:12

---
 ultrafiltre.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ultrafiltre.md b/ultrafiltre.md
index e8c87cc2..36b8db25 100644
--- a/ultrafiltre.md
+++ b/ultrafiltre.md
@@ -38,4 +38,5 @@ aliases:
 > >   
 
 > [!proposition]+ Tout filtre non trivial est contenu dans un ultrafiltre
-> 
\ No newline at end of file
+> 
+