typo

Author: rzach

content/computability/recursive-functions/pr-relations.tex

@@ -108,7 +108,7 @@
   \begin{align*}
     \Char{P}(\vec x, 0) & = 1\\
     \Char{P}(\vec x, y+1) & =
-    \fn{min}(\Char{P}(\vec x, y), \Char{R}(\vec x, y))).
+    \fn{min}(\Char{P}(\vec x, y), \Char{R}(\vec x, y)).
   \end{align*}
   Bounded existential quantification can similarly be defined using
   $\fn{max}$. Alternatively, it can be defined from bounded universal