GenAutomata Sections NuprlLIB Doc

Def ts_fvar(x) == inr(inr(inr(inl(x))))

is mentioned

In prior sections: mb automata 1


GenAutomata Sections NuprlLIB Doc