WhoCites Definitions int 2 Sections StandardLIB Doc

Who Cites nat plus?
nat_plus Def == {i:| 0 < i }
Thm* Type
not Def A == A False
Thm* A:Prop. (A) Prop

About:
intnatural_numberless_thansetuniversemember
propimpliesfalseall!abstraction

WhoCites Definitions int 2 Sections StandardLIB Doc