Nuprl - mb automata 4 Citations of ts

mb automata 4 Sections GenAutomata Doc

Def ts() == Label+Label+Label+Label+Label

is mentioned

In prior sections: mb automata 1

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc