IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
neg mul arg bounds1 1. a : 2. b:. (-a)b>0 -a>0 & b>0 -a<0 & b<0
b:. ab<0 a<0 & b>0 a>0 & b<0
By:
SimilarTo: Hyp:-1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
b:
b>0 
-a>0 & b>0 
-a<0 & b<0
