Fixed a few typos.

src/fa/lc/compact.tex

@@ -33,7 +33,6 @@
 \end{definition}
 
 
-
 \begin{lemma}
 \label{lemma:extremal-face}
     Let $E$ be a locally convex space over $\real$, $K \subset E$ be non-empty and compact, and $\phi \in E^*$. Let $\alpha = \sup\bracs{\dpn{x, \phi}{E}|x \in K}$, then $A = \bracs{\phi = \alpha} \cap K$ is a non-empty extreme subset of $K$. 

src/fa/tvs/vector-function.tex

@@ -27,7 +27,7 @@
 
     (T) $\Rightarrow$ (B): Let $f \in \cf$, $S \in \sigma$ and $U \subset F \times F$ be a symmetric entourage, then $E(S, U)(0)$ is a neighbourhood of $0$ with respect to the $\sigma$-uniform topology. By (TVS2), there exists $\lambda > 0$ such that $f \in \lambda E(S, U)(0)$. In which case, for any $x \in S$, $\lambda^{-1}f(x) \in U(0)$ and $f(x) \in \lambda U(0)$. Thus $f(S) \subset \lambda U(0)$, and $f(S)$ is bounded.
 
-    (T) $\Rightarrow$ (B): Let $f, g \in \cf$, $\lambda, \lambda' \in K$, and $S \in \sigma$, then for any $x \in X$,
+    (B) $\Rightarrow$ (T): Let $f, g \in \cf$, $\lambda, \lambda' \in K$, and $S \in \sigma$, then for any $x \in X$,
     \begin{align*}
     \lambda f(x) - \lambda' g(x) &= \lambda f(x) - \lambda' f(x) + \lambda' f(x) - \lambda' g(x) \\
     &= (\lambda - \lambda')f(x) + \lambda' (f(x) - g(x))