PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: rel sq

SQType(rel())
By:
Unfold `rel` 0
THEN
ProdSq
THEN
SqTac
Generated subgoals:

None

PrintForm Definitions mb automata 2 Sections GenAutomata Doc