WhoCites Definitions MarkB generic Sections NuprlLIB Doc

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

Syntax:Top has structure: top

About:
voidisectuniversemembertop!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc