graph 1 1 Sections Graphs Doc

Def f91(i) == if 100 < i i-10 else f91(f91(i+11)) fi (recursive)

is mentioned by

Thm* i:. f91(i) ~ if 101 < i i-10 else 91 fi[f91-val]

Try larger context: Graphs

graph 1 1 Sections Graphs Doc