(8steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assoc reln 2 2
1. a : 
2. b : 
3. a = -b
  a | b
By: Witness -1

Generated subgoals:

None

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

(8steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc