WhoCites Definitions union Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites bfalse?
bfalseDef false == inr()
Thm* false  

Syntax:false has structure: bfalse

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

WhoCites Definitions union Sections StandardLIB Doc