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