WhoCites Definitions mb declaration 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 declaration Sections GenAutomata Doc