WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites false?
falseDef False == Void
Thm* False Prop

Syntax:False has structure: false

About:
voidmemberpropfalse!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc