WhoCites Definitions mb automata 1 Sections GenAutomata Doc

Who Cites top?
topDef Top == Void given Void
Thm* Top Type

Syntax:Top has structure: top

About:
voidisectuniversemembertop!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc