d1:. d1 < d (i:. if 101 < i 0 else 101-i fi = d1 (f91(i) ~ if 101 < i i-10 else 91 fi))

i101

i100

101-i = d (f91(f91(i+11)) ~ 91)

((Analyze 0) THEN (InstHyp [if 101 < i+11 0 else 101-(i+11) fi;i+11] 2)) THENA (Try (Complete Auto ORELSE Complete SplitOnConclITE))
THEN
HypSubst -1 0

1

6. 101-i = d 7. f91(i+11) ~ if 101 < i+11 i+11-10 else 91 fi f91(if 101 < i+11 i+11-10 else 91 fi) ~ 91

7 steps

About: