WhoCites Definitions GenAutomata Sections NuprlLIB Doc

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

Syntax:Unit has structure: unit

About:
unitintnatural_numberuniversemember!abstraction

WhoCites Definitions GenAutomata Sections NuprlLIB Doc