From b8cc467735054bb3c38bf37b5e29877ba756c4b5 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Tue, 27 Aug 2024 20:20:46 +0200
Subject: working commit

---
 library/everything.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'library/everything.tex')

diff --git a/library/everything.tex b/library/everything.tex
index b966197..94dd6d8 100644
--- a/library/everything.tex
+++ b/library/everything.tex
@@ -30,6 +30,7 @@
 \import{topology/disconnection.tex}
 \import{topology/separation.tex}
 \import{numbers.tex}
+\import{topology/urysohn2.tex}
 
 \begin{proposition}\label{trivial}
     $x = x$.
-- 
cgit v1.2.3

