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