Fixed typo.

refs.bib

@@ -283,3 +283,13 @@
  volume = {2},
  year = {1951}
 }
+
+
+@MISC {TownesType1,
+    title = {Classification of Type 1 factors},
+    author = {leslie townes},
+    howpublished = {Mathematics Stack Exchange},
+    note = {URL:https://math.stackexchange.com/q/150258 (version: 2012-05-27)},
+    eprint = {https://math.stackexchange.com/q/150258},
+    url = {https://math.stackexchange.com/q/150258}
+}

src/measure/bochner-integral/strongly.tex

@@ -1,6 +1,7 @@
 \section{Strongly Measurable Functions}
 \label{section:strongly-measurable}
 
+
 \begin{definition}[Strongly Measurable Function]
 \label{definition:strongly-measurable}
     Let $(X, \cm)$ be a measurable space, $E$ be a normed vector space over $K \in \RC$, and $f: X \to E$, then the following are equivalent:

src/measure/measurable-maps/local-in-measure.tex

@@ -37,7 +37,7 @@
 \label{proposition:convergence-in-measure}
     Let $(X, \cm, \cf, \mu)$ be a \hyperref[scaffolded]{definition:measure-scaffold} measure space, $(Y, d)$ be a separable metric space, and $\fF$ be a filter of $(\cm, \cb_Y)$-measurable functions, then $\fF$ is Cauchy in measure if and only if:
     \begin{enumerate}
-        \item[(L)] $\fF$ is \hyperref[definition:locally-in-measure]{definition:locally-in-measure}. 
+        \item[(L)] $\fF$ is Cauchy \hyperref[locally in measure]{definition:locally-in-measure}. 
         \item[(T)] For each $\eps, \delta > 0$, there exists $F \in \fF$ and $A \in \cf$ such that
         \[
         \sup_{f, g \in F}\mu(A^c \cap \bracs{d(f, g) > \delta}) < \eps

src/op/vn/type-decomp.tex

@@ -234,7 +234,7 @@
         \item There exists a complex Hilbert space $K$ and a *-isomorphism $\pi: A \to B(K)$. 
     \end{enumerate}
 \end{theorem}
-\begin{proof}
+\begin{proof}[Proof, {{\cite{TownesType1}}}. ]
     (1) $\Rightarrow$ (2): Since $A$ is of type $\vnI$, $A$ admits a non-zero abelian projection $Q \in \text{Proj}(A)$. By \autoref{lemma:abelian-minimal-factor}, $Q$ is minimal. 
 
     (2) $\Rightarrow$ (3): Let $P \in \text{Proj}(A)$ and $Q \in \text{Proj}(A)$ be a minimal projection. By the \hyperref[comparability theorem]{corollary:vna-factor-comparability}, either $P \preceq Q$ or $Q \preceq P$.