mb automata 3 Sections GenAutomata Doc

Def ts_op(x) == inr(inr(inl(x)))

is mentioned

In prior sections: mb automata 1

Try larger context: GenAutomata

mb automata 3 Sections GenAutomata Doc