Swapped in vocabulary.

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}}}. ]