mb
automata
3
Sections
GenAutomata
Doc
Theorem
Name
Thm*
A:ioa{i:l}(). A
ioa{i':l}
[ioa_univ_lemma]
cites
Thm*
T:Type{i'}, c:Collection{i}(T). c
Collection{i'}(T)
[col_univ_lemma]
mb
automata
3
Sections
GenAutomata
Doc
A:ioa{i:l}(). A 
ioa{i':l}T:Type{i'}, c:Collection{i}(T). c Collection{i'}(T)A:ioa{i:l}(). A ioa{i':l}T:Type{i'}, c:Collection{i}(T). c Collection{i'}(T)