From b455200a2c97538274f1403a3ef2c997bdcb274b Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Wed, 21 Jan 2026 16:32:46 -0500
Subject: [PATCH] Me when I fail to fix a typo.

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

diff --git a/src/measure/measurable-maps/simple.tex b/src/measure/measurable-maps/simple.tex
index 3c5744c..fd81329 100644
--- a/src/measure/measurable-maps/simple.tex
+++ b/src/measure/measurable-maps/simple.tex
@@ -26,7 +26,7 @@
 \label{definition:simple-function-standard-form}
     Let $(X, \cm)$ be a measurable space, $V$ be a vector space over $K \in \RC$, and $f: X \to Y$ be a simple function, then
     \[
-    f = \sum_{y \in f(X)}y \cdot \one_{\bracs{f \in Y}}
+    f = \sum_{y \in f(X)}y \cdot \one_{\bracs{f = y}}
     \]
     is the \textbf{standard form} of $f$.