Compare commits
2 Commits
173015ffc9
...
73b8fb0dd1
Author | SHA1 | Date | |
---|---|---|---|
73b8fb0dd1 | |||
d3436bbbdb |
@ -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,
|
||||
|
Loading…
Reference in New Issue
Block a user