(2steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: imin assoc 1
1. a:
2. b:
3. c:

imax(-a;imax(-b;-c)) = imax(imax(-a;-b);-c)
By: BackThru Thm* a,b,c:. imax(a;imax(b;c)) = imax(imax(a;b);c)
Generated subgoals:

None

About:
intminusequal

(2steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc