From ca3465b3d4d62d6ebf3d7d88ee28f4e7854d69b7 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Wed, 6 May 2026 00:30:02 -0400
Subject: [PATCH] Fixed indexing mistake in Arzela-Ascoli.

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

diff --git a/src/topology/uniform/equicontinuous.tex b/src/topology/uniform/equicontinuous.tex
index 13a450c..a33a5fe 100644
--- a/src/topology/uniform/equicontinuous.tex
+++ b/src/topology/uniform/equicontinuous.tex
@@ -32,7 +32,7 @@
     \end{enumerate}
 
     then
-    \begin{enumerate}[label=(C\arabic*), start=3]
+    \begin{enumerate}[label=(C\arabic*), start=2]
         \item $\cf$ is a precompact subset of $C(X; Y)$ with respect to the compact uniformity. 
     \end{enumerate}