WhoCites Definitions GenAutomata Sections NuprlLIB Doc

Who Cites nat plus?
nat_plusDef == {i:| 0 < i }
Thm* Type

Syntax: has structure: nat_plus

About:
intnatural_numberless_thansetuniversemember!abstraction

WhoCites Definitions GenAutomata Sections NuprlLIB Doc