Adjusted citation formats. Moved citation off of named theorems if possible.

src/topology/uniform/completion.tex

@@ -2,7 +2,7 @@
 \label{section:completion}
 
 
-\begin{definition}[Hausdorff Completion, {{\cite[Theorem 2.3.3]{Bourbaki}}}]
+\begin{definition}[Hausdorff Completion]
 \label{definition:hausdorff-completion}
     Let $(X, \fU)$ be a uniform space, then there exists a $(\wh X, \iota)$ such that:
     \begin{enumerate}
@@ -35,7 +35,7 @@
 
     The pair $(\wh X, \iota)$ is the \textbf{Hausdorff completion} of $X$.
 \end{definition}
-\begin{proof}
+\begin{proof}[Proof {{\cite[Theorem 2.3.3]{Bourbaki}}}. ]
     (1, Uniform), (4): Let $\wh X$ be the set of all minimal Cauchy filters on $X$. For each $V \in \fU$, let
     \[
     \wh V = \bracsn{(\fF, \mathfrak{G}) \in \wh X| \exists U \in \fF \cap \mathfrak{G}: U \times U \subset V}
@@ -89,7 +89,7 @@
     Since the mapping $(\iota \times \iota)^{-1}$ is a bijection between two bases of uniformities of $X$ and $\wh X$, it is sufficient to show that $\iota$ is injective. To this end, observe that for any $x, y \in X$, $\cn(x) = \cn(y)$ if and only if $x = y$ by (4) of \autoref{definition:hausdorff}.
 \end{proof}
 
-\begin{definition}[Associated Hausdorff Uniform Space, {{\cite[Proposition 2.8.16]{Bourbaki}}}]
+\begin{definition}[Associated Hausdorff Uniform Space]
 \label{definition:associated-hausdorff}
     Let $(X, \fU)$ be a uniform space, then there exists $(X', i)$ such that:
     \begin{enumerate}
@@ -107,7 +107,7 @@
     \end{enumerate}
     known as the \textbf{Hausdorff uniform space associated with} $(X, \fU)$.
 \end{definition}
-\begin{proof}
+\begin{proof}[Proof {{\cite[Proposition 2.8.16]{Bourbaki}}}. ]
     Let $(\wh X, \iota)$ be the Hausdorff completion of $X$, $X' = \iota(X)$, and $i = \iota$, then $(X', i)$ satisfies (1) and (2).
 
     (U): Let $(\wh Y, \iota)$ be the Hausdorff completion of $Y$. Using \autoref{lemma:completion-of-hausdorff}, identify $Y$ as a subspace of $\wh Y$. By (U) of the Hausdorff completion, there exists a unique $\ol F \in UC(\wh X; \wh Y)$ such that the following diagram commutes: