Start on proof of Fujisaki (#300)

blueprint/src/chapter/QuaternionAlgebraProject.tex

@@ -99,7 +99,7 @@ \section{The adelic viewpoint}
   \lean{TotallyDefiniteQuaternionAlgebra.AutomorphicForm}
   \label{TotallyDefiniteQuaternionAlgebra.AutomorphicForm}
   \leanok
-  An \emph{automorphic form} of weight $W$, level $U$ and character $\chi$ for $D$ is
+  An $R$-valued \emph{automorphic form} of weight $W$, level $U$ and character $\chi$ for $D$ is
   a function $f:(D\otimes_F\A_F^\infty)^\times\to W$ satisfying the following axioms:
   \begin{itemize}
     \item $f(\delta g)=\delta\cdot f(g)$ for all $\delta\in D^\times$ and $g\in (D\otimes_F\A_F^\infty)^\times$
@@ -110,7 +110,7 @@ \section{The adelic viewpoint}
   \end{itemize}
 \end{definition}
 
-Let $S_{W,\chi}(U;R)$ denote the space of automorphic forms of weight $W$, level $U$ and character
+Let $S_{W,\chi}(U;R)$ denote the space of $R$-valued automorphic forms of weight $W$, level $U$ and character
 $\chi$. Two basic observations are
 
 \begin{definition}