From d7d5db5f90ac8594fa765a4ed85e1ea4b81568dd Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Fri, 20 Mar 2026 15:18:08 -0400
Subject: [PATCH] Typo fix.

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

diff --git a/src/topology/uniform/complete.tex b/src/topology/uniform/complete.tex
index 12e54f1..f30e79e 100644
--- a/src/topology/uniform/complete.tex
+++ b/src/topology/uniform/complete.tex
@@ -37,7 +37,7 @@
 
 \begin{proposition}[{{\cite[Proposition 2.3.11]{Bourbaki}}}]
 \label{proposition:uniformextension}
-    Let $X$ be a topological space, $Y$ be a complete Hausdorff uniform space, $A \subset X$ be a dense subset, and $f \in C(A; Y)$ be a continuous function, then the following are equivalent:
+    Let $X$ be a uniform space, $Y$ be a complete Hausdorff uniform space, $A \subset X$ be a dense subset, and $f \in C(A; Y)$ be a continuous function, then the following are equivalent:
     \begin{enumerate}
         \item There exists a continuous function $F \in C(X; Y)$ such that $F|_A = f$.
         \item $f$ is Cauchy continuous.