(10steps total) PrintForm Definitions graph 1 1 Sections Graphs Doc

At: f91-val 1

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:

13. i:
4. i101
5. i100
101-i = d (f91(f91(i+11)) ~ 91)
8 steps

About:
ifthenelseintnatural_numberaddsubtractless_thanequalsqequalimpliesall

(10steps total) PrintForm Definitions graph 1 1 Sections Graphs Doc