Fixed typos and migrated to new version.

src/fa/lc/hahn-banach.tex

@@ -77,7 +77,7 @@
 \begin{proof}
     By translation, assume without loss of generality that $0 \in A$. In which case, $A \in \cn^o(0)$ is convex.
 
-    Let $[\cdot]_A: E \to [0, \infty)$ be the \hyperref[gaugeg]{definition:gauge} of $A$, then $[\cdot]_A$ is a sublinear functional on $E$. For any $y, z \in E$ and $t > 0$ with $y, z \in tA$,
+    Let $[\cdot]_A: E \to [0, \infty)$ be the \hyperref[gauge]{definition:gauge} of $A$, then $[\cdot]_A$ is a sublinear functional on $E$. For any $y, z \in E$ and $t > 0$ with $y, z \in tA$,
     \[
     \abs{[y]_A - [z]_A} \le [y - z]_A \le t
     \]