WhoCites Definitions core 3 jlc Sections Support(jlc) Doc

Who Cites bool?
boolDef == Unit+Unit
Thm* Type

Syntax: has structure: bool

About:
boolunitunionuniversemember!abstraction

WhoCites Definitions core 3 jlc Sections Support(jlc) Doc