i
i-10 else f91(f91(i+11)) fi (recursive)
i:
. f91(i) 
j == if i < j true ; false fii,j:. (i < j) 
| Who Cites f91? | |
| f91 | Def f91(i) == if 100 < i i-10 else f91(f91(i+11)) fi (recursive) |
| Thm* i:. f91(i) | |
| lt_int | Def i < j == if i < j true ; false fi |
| Thm* i,j:. (i < j) |
About:
 |  |  |  |  |  |  |  |
 |  |  |  |
 |