mb hybrid Sections GenAutomata Doc

Def (L o f) == mklist(||L||;i.L[(f(i))])

is mentioned

In prior sections: mb list 2

Try larger context: GenAutomata

mb hybrid Sections GenAutomata Doc