josia-notes/w23-logic-2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix small typo

Browse source
This commit is contained in:
Josia Pietsch 2024-01-09 05:05:25 +01:00
parent a2f5328287
commit d3436bbbdb
Signed by: josia
GPG key ID: E70B571D66986A2D
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
inputs/lecture_10.tex
View file

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