mb automata 4 Sections GenAutomata Doc

Def ptn_pr(x) == inr(inr(inr(x)))

is mentioned

In prior sections: mb basic

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc