GenAutomata Sections NuprlLIB Doc

Def (i:I. C(i))(x) == i:I. x C(i)

is mentioned

In prior sections: mb collection mb automata 1


GenAutomata Sections NuprlLIB Doc