(4steps total) PrintForm Definitions int 2 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: imax com 1

1. a : 
2. b : 
  imax(a;b) = imax(b;a)


By: Decide: ab THEN ElimImaxmin Auto 0


Generated subgoals:

1 3. ab
  b = b

Trivial
2 3. ab
  a = a

Trivial

About:
intequal
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(4steps total) PrintForm Definitions int 2 Sections StandardLIB Doc