WhoCites Definitions mb automata 1 Sections GenAutomata Doc

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

Syntax:False has structure: false

About:
voidmemberpropfalse!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc