mb automata 4 Sections GenAutomata Doc

Def col_map_subst(x.f(x);c) == < f(x) | x c >

is mentioned

In prior sections: mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc