int 2 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
TheoremName
Thm* a,b:. 0ab[mul_bounds_1a]
cites the following:
Thm* a,b:n:ab  nanb[mul_preserves_le]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
int 2 Sections StandardLIB Doc