mb automata 4 Sections GenAutomata Doc

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

is mentioned

In prior sections: mb automata 1

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc