eduroam-prg-og-1-28-168.net.univ-paris-diderot.fr 2026-1-19:10:44:48

2026-01-19 10:44:48 +01:00
parent f7cfb651cf
commit 254b946eb5
23 changed files with 116 additions and 401 deletions
@@ -11,7 +11,7 @@ aliases:


 > [!definition] Définition
-> un [[structure de topologie|espace topologique]] $X$ est **séparé** si
+> un [[espace topologique]] $X$ est **séparé** si
 ^definition

 > [!idea] Intuition