WhoCites Definitions mb automata 2 Sections GenAutomata Doc

Who Cites btrue?
btrueDef true == inl()
Thm* true

Syntax:true has structure: btrue

About:
boolbtrueitinlmember!abstraction

WhoCites Definitions mb automata 2 Sections GenAutomata Doc