Nuprl - mb automata 2 Citations of col map subst

mb automata 2 Sections GenAutomata Doc

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

c >

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb automata 2 Sections GenAutomata Doc