i
i-10 else f91(f91(i+11)) fi (recursive)
i:
. f91(i) 
== {i:| 0
i } TypeB == 
B < Ai,j:. (ij) Propj == if i < j true ; false fii,j:. (i < j) 
| Some definitions of interest. | |
| f91 | Def f91(i) == if 100 < i i-10 else f91(f91(i+11)) fi (recursive) |
| Thm* i:. f91(i) | |
| nat | Def == {i:| 0i } |
| Thm* Type | |
| le | Def AB == B < A |
| Thm* i,j:. (ij) Prop | |
| lt_int | Def i < j == if i < j true ; false fi |
| Thm* i,j:. (i < j) |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |  |  |  |