WhoCites Definitions mb automata 2 Sections GenAutomata Doc

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

Syntax:false has structure: bfalse

About:
boolbfalseitinrmember!abstraction

WhoCites Definitions mb automata 2 Sections GenAutomata Doc