(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
imax
assoc
a,b,c:
. imax(a;imax(b;c)) = imax(imax(a;b);c)
By:
UnivCD
THEN
RW (NthsC [2;4] (UnfoldTopC `imax`)) 0
Generated subgoal:
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)
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) 
a,b,c:. imax(a;imax(b;c)) = imax(imax(a;b);c) imax(a;if bc c else b fi) = imax(if ab b else a fi;c)
