int 2 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
RankTheoremName
4Thm* a,b:ab<0  a<0 & b>0  a>0 & b<0[neg_mul_arg_bounds]
cites the following:
3Thm* a,b:ab>0  a>0 & b>0  a<0 & b<0[pos_mul_arg_bounds]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
int 2 Sections StandardLIB Doc