int 2 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
RankTheoremName
4Thm* a:n:. (a rem n) = (a rem -n)[rem_sym_2]
cites the following:
3Thm* a:b:. (a rem -b) = (a rem b)[rem_sym]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
int 2 Sections StandardLIB Doc