typo

blueprint/src/chapter/QuaternionAlgebraProject.tex

@@ -108,7 +108,7 @@ \section{Introduction and goal}
 \end{definition}
 
 Let $S_{W,\chi}(U;R)$ denote the space of automorphic forms of weight $W$, level $U$ and character
-$\chi$. Two basis observations are
+$\chi$. Two basic observations are
 
 \begin{definition}
  \lean{TotallyDefiniteQuaternionAlgebra.AutomorphicForm.addCommGroup}