mb
automata
4
Sections
GenAutomata
Doc
Rank
Theorem
Name
2
Thm*
A:ioa{i:l}(), I:Fmla. ioa_trans_all{i}(A;I)
VCs
[ioa_trans_all_wf]
cites
1
Thm*
A:ioa{i:l}(). A
ioa{i':l}
[ioa_univ_lemma]
mb
automata
4
Sections
GenAutomata
Doc
A:ioa{i:l}(), I:Fmla. ioa_trans_all{i}(A;I) 
VCsA:ioa{i:l}(). A ioa{i':l}A:ioa{i:l}(), I:Fmla. ioa_trans_all{i}(A;I) VCsA:ioa{i:l}(). A ioa{i':l}