WhoCites Definitions mb hybrid Sections GenAutomata Doc

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

Syntax: has structure: bool

About:
boolunitunionuniversemember!abstraction

WhoCites Definitions mb hybrid Sections GenAutomata Doc