WhoCites Definitions StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites eqmod?
eqmodDef a = b mod m == m | a-b
Thm* m,a,b:. (a = b mod m Prop
dividesDef b | a == c:a = bc
Thm* a,b:. (a | b Prop

Syntax:a = b mod m has structure: eqmod(mab)

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

WhoCites Definitions StandardLib Sections NuprlLIB Doc