Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2

inputs/lecture_10.tex

@@ -134,7 +134,7 @@ Applications of induction and recursion:
     on a class $A$.
     Then there is a function $F\colon  A \to \OR$,
     such that for all $x,y \in A$
-    \[(x,y) \in R \implies F(x) < F(y) F(x) < F(y).\]
+    \[(x,y) \in R \implies F(x) < F(y).\]
 \end{lemma}
 \begin{proof}
     By the recursion theorem,