WhoCites
Definitions
mb
automata
1
Sections
GenAutomata
Doc
Who Cites false?
false
Def False == Void
Thm* False
Prop
Syntax:
False
has structure:
false
About:
WhoCites
Definitions
mb
automata
1
Sections
GenAutomata
Doc