WhoCites Definitions discrete jlc Sections Support(jlc) Doc

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

Syntax: has structure: bool

About:
boolunitunionuniversemember!abstraction

WhoCites Definitions discrete jlc Sections Support(jlc) Doc