mb
structures
Sections
GenAutomata
Doc
Def
P o evt(L) == P(map(evt;L))
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
structures
Sections
GenAutomata
Doc