Fix typo

blueprint/src/content.tex

@@ -25,7 +25,7 @@ \section{Content}
 \uses{def:OrderedSemigroup}
 An \textbf{ordered cancel semigroup} $S$ is an ordered semigroup such that for all $a,b,c\in S$,
 if $a * b \le a * c$ then $b \le c$ and if $b * a \le c * a$ then $b \le c$.
-\end{defintion}
+\end{definition}
 
 \begin{definition}\label{def:LinearOrderedSemigroup}\lean{LinearOrderedSemigroup}\leanok
 \uses{def:OrderedSemigroup}