WhoCites Definitions int 2 Sections StandardLIB Doc

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

Syntax: has structure: nat_plus

About:
intnatural_numberless_thansetuniversemember!abstraction

WhoCites Definitions int 2 Sections StandardLIB Doc