WhoCites Definitions mb automata 1 Sections GenAutomata Doc

Who Cites it?
itDef == *
Thm* Unit

Syntax: has structure: it

About:
unititaxiommember!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc