mb
record
Sections
GenAutomata
Doc
Def
{p} == {1of(p)}
{2of(p)}
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
record
Sections
GenAutomata
Doc