From bbff684bd1e04b8c035db1248627b12033166c36 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Sun, 28 Jun 2026 12:04:51 -0400
Subject: [PATCH] Polish correction.

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

diff --git a/src/measure/measurable-maps/metric.tex b/src/measure/measurable-maps/metric.tex
index 5cb0539..315f25c 100644
--- a/src/measure/measurable-maps/metric.tex
+++ b/src/measure/measurable-maps/metric.tex
@@ -53,7 +53,7 @@
 \label{proposition:metric-measurable-limit}
     Let $(X, \cm)$ be a measurable space, $Y$ be a metrisable topological space, and $\seq{f_n}$ be $(\cm, \cb_Y)$-measurable functions, then:
     \begin{enumerate}
-        \item If $Y$ is completely metrisable, then $\bracsn{\limv{n}f_n \text{ exists}} \in \cm$.
+        \item If $Y$ is Polish, then $\bracsn{\limv{n}f_n \text{ exists}} \in \cm$.
         \item If $f = \limv{n}f_n$ exists, then it is $(\cm, \cb_Y)$-measurable.
     \end{enumerate}
 \end{proposition}