At:
f91-val
1
1
1
2
1.
d: 
2.
d1:. d1 < d 
(i:
. if 101 < 
i
0 else 101-i fi = d1 
(f91(i) ~ if 101 < i i-10 else 91 fi))
3.
i:
4.
i
101
5.
i100
6.
101-i = d
7.
f91(i+11) ~ if 101 < i+11 i+11-10 else 91 fi
8.
i+11101
f91(91) ~ 91
By:
(InstHyp [10;91] 2) THENA (Reduce 0)
THEN
HypSubst -1 0
THEN
SplitOnConclITE
Generated subgoals:
None
About:
