From e19a5e3ad090be059683d7de03a112d6d7ce757b Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Tue, 30 Jun 2026 14:14:44 -0400
Subject: [PATCH] Swapped in vocabulary.

---
 src/measure/vector/fin.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/measure/vector/fin.tex b/src/measure/vector/fin.tex
index 799abcb..2dcfb68 100644
--- a/src/measure/vector/fin.tex
+++ b/src/measure/vector/fin.tex
@@ -66,7 +66,7 @@ In any case, the above example shows that a linear functional on $M(X, \cm; \com
     
     In other words,
     \begin{enumerate}[start=2]
-        \item There exists a semifinite measure space $(\Omega, \cn, \mu)$ such that $\mathscr{M} \iso L^1(\Omega; H)$ and $\mathscr{M}^* \iso L^\infty(\Omega; H)$. 
+        \item There exists a decomposable measure space $(\Omega, \cn, \mu)$ such that $\mathscr{M} \iso L^1(\Omega; H)$ and $\mathscr{M}^* \iso L^\infty(\Omega; H)$. 
     \end{enumerate}
 \end{theorem}
 \begin{proof}[Proof, {{\cite{StackRadonDual}}}. ]