GenAutomata Sections NuprlLIB Doc

Def < x c | P(x) > (x) == x c & P(x)

is mentioned

In prior sections: mb collection mb automata 2


GenAutomata Sections NuprlLIB Doc