GenAutomata Sections NuprlLIB Doc

Def (a + b)(x) == x a x b

is mentioned

In prior sections: mb collection mb automata 1 mb automata 2


GenAutomata Sections NuprlLIB Doc