(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
imax
assoc
1
1.
a:
2.
b:
3.
c:
imax(a;if b
c
c else b fi) = imax(if a
b
b else a fi;c)
By:
SplitOnConclITEs
THEN
Unfold `imax` 0
THEN
SplitOnConclITEs
Generated subgoals:
None
About:
(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
imax(a;if b
c
c else b fi) = imax(if ab b else a fi;c)
