WhoCites Definitions mb events Sections GenAutomata Doc

Who Cites band?
bandDef pq == if p q else false fi
Thm* p,q:. (pq)

Syntax:pq has structure: band(p; q)

About:
boolbfalseifthenelsememberall!abstraction

WhoCites Definitions mb events Sections GenAutomata Doc