PrintForm Definitions int 2 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: absval lbound
  i:, n:. |i|>n  i<-n  i>n
By: Analyze THEN Decide: 0<i THEN ElimAbsVal Auto 0

Generated subgoals:

None

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

PrintForm Definitions int 2 Sections StandardLIB Doc