At:
f91-val1
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)) i:. if 101 < i 0 else 101-i fi = d (f91(i) ~ if 101 < i i-10 else 91 fi)
By:
Analyze 0
THEN
SplitOnConclITE
THEN
RecUnfold `f91` 0
THEN
SplitOnConclITE
THEN
Try (Complete Auto)
Generated subgoal: