From d80fae112d5e8bc70798972e1b2a4194acfd0006 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Tue, 28 Apr 2026 14:27:23 -0400
Subject: [PATCH] Fixed more convex typos.

---
 src/fa/lc/convex.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fa/lc/convex.tex b/src/fa/lc/convex.tex
index 934ba2b..8a738ce 100644
--- a/src/fa/lc/convex.tex
+++ b/src/fa/lc/convex.tex
@@ -140,7 +140,7 @@
     \end{enumerate}
     The topology induced by $\seqi{d}$ is the \textbf{vector space topology induced by} $\seqi{[\cdot]}$. In addition,
     \begin{enumerate}
-        \item[(U)] For any family $\seqj{[\cdot]}$ of seminorms continuous on $E$, the vector space topology induced by $\seqj{[\cdot]}$ is contained in the vector space topology induced by $\seqi{[\cdot]}$.
+        \item[(U)] For any family $\bracsn{[\cdot]_j}_{j \in J}$ of continuous seminorms on $E$, the vector space topology induced by $\bracsn{[\cdot]_j}_{j \in J}$ is contained in the vector space topology induced by $\seqi{[\cdot]}$.
     \end{enumerate}
 \end{definition}