PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc

At: f91 wf
i:. f91(i)
By:
Analyze 0
THEN
RWO Thm* i:. f91(i) ~ if 101 < i i-10 else 91 fi 0
Generated subgoals:

None

About:
ifthenelseintnatural_numbersubtractmembersqequalall

PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc