WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites bfalse?
bfalseDef false == inr()
Thm* false

Syntax:false has structure: bfalse

About:
boolbfalseitinrmember!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc