From 821efee26f62a16e8963e9fcf9ccef6e69d35d83 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Tue, 6 Oct 2026 19:28:55 -0400
Subject: [PATCH] Thank you Henry.

---
 src/measure/measurable-maps/product.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/measure/measurable-maps/product.tex b/src/measure/measurable-maps/product.tex
index 28cfc98..0aa2e87 100644
--- a/src/measure/measurable-maps/product.tex
+++ b/src/measure/measurable-maps/product.tex
@@ -42,7 +42,7 @@
     Let $\seqf{X_j}$ be topological spaces, $X = \prod_{j = 1}^n X_j$, then:
     \begin{enumerate}
         \item $\bigotimes_{j = 1}^n \cb_{X_j} \subset \cb_{X}$.
-        \item If $\seq{X_j}$ are separable, then $\bigotimes_{j = 1}^n \cb_{X_j} = \cb_{X}$
+        \item If $\seqf{X_j}$ are separable, then $\bigotimes_{j = 1}^n \cb_{X_j} = \cb_{X}$
     \end{enumerate}
 \end{proposition}
 \begin{proof}