mb
automata
2
Sections
GenAutomata
Doc
Def
A List
== {l:(A List)|
(0 <
||l||) }
is mentioned
In prior sections:
mb
list
1
Try larger context:
GenAutomata
mb
automata
2
Sections
GenAutomata
Doc
== {l:(A List)| 
(0 < 
||l||) }