WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites unit?
unitDef Unit == 0
Thm* Unit Type

Syntax:Unit has structure: unit

About:
unitintnatural_numberuniversemember!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc