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

Syntax:a ~ b has structure: assoced(ab)

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

WhoCites Definitions StandardLib Sections NuprlLIB Doc