WhoCites Definitions graph 1 1 Sections Graphs Doc

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

Syntax:false has structure: bfalse

About:
boolbfalseitinrmember!abstraction

WhoCites Definitions graph 1 1 Sections Graphs Doc