From 810947fd09d2cd9f57a5384b3ee1455fe1e44f3a Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Fri, 4 Jul 2025 02:04:45 +0200
Subject: Update filename

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

(limited to 'library/everything.tex')

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

