From aa928717d0ff41a913a7e4ce0a46a4f587606ec3 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Tue, 23 Jun 2026 19:40:45 -0400
Subject: [PATCH] Minor style adjustment in Urysohn.

---
 src/topology/main/lch.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/topology/main/lch.tex b/src/topology/main/lch.tex
index 72c8d52..727a148 100644
--- a/src/topology/main/lch.tex
+++ b/src/topology/main/lch.tex
@@ -38,7 +38,7 @@
 
 \begin{lemma}[Urysohn's Lemma (LCH)]
 \label{lemma:lch-urysohn}
-    Let $X$ be a LCH space, $K \subset X$ be compact, and $U \in \cn(K)$, then there exists $f \in C_c(X; [0, 1])$ such that $\supp{f} \subset U$.
+    Let $X$ be a LCH space, $K \subset X$ be compact, and $U \in \cn(K)$, then there exists $F \in C_c(X; [0, 1])$ such that $\supp{F} \subset U$.
 \end{lemma}
 \begin{proof}[Proof, {{\cite[Lemma 4.32]{Folland}}}. ]
     By \autoref{lemma:lch-compact-neighbour}, there exists $V, W \in \cn^o(K)$ precompact such that