WhoCites Definitions bool 2 jlc Sections Support(jlc) Doc

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

Syntax:false has structure: bfalse

About:
boolbfalseitinrmember!abstraction

WhoCites Definitions bool 2 jlc Sections Support(jlc) Doc