WhoCites Definitions Three Sections ClassicalProps(jlc) Doc

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

Syntax:Unit has structure: unit

About:
unitintnatural_numberuniversemember!abstraction

WhoCites Definitions Three Sections ClassicalProps(jlc) Doc