GenAutomata
Sections
NuprlLIB
Doc
Def
col_map_subst(x.f(x);c) == < f(x) | x
c >
is mentioned
In prior sections:
mb
automata
3
GenAutomata
Sections
NuprlLIB
Doc