num thy 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
RankTheoremName
2Thm* a,b:. |a| | |b a | b[divides_of_absvals]
cites the following:
0Thm* a,b:a | b  -a | b[divides_invar_1]
1Thm* a,b:a | b  a | -b[divides_invar_2]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
num thy 1 Sections StandardLIB Doc