graph 1 1 Sections Graphs Doc

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

graph 1 1 Sections Graphs Doc