(2steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc zmod2 example 1
  m:. 2-4 = m2
By: Witness: -1

Generated subgoals:

None

About:
intnatural_numberminussubtractmultiplyequalexists
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(2steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc