WhoCites
Definitions
mb
automata
2
Sections
GenAutomata
Doc
Who Cites vc
qimp?
vc_qimp
Def vc_qimp(x) == inr(x)
Thm*
x:qimp{i:l}(). vc_qimp(x)
vc{i:l}()
About:
WhoCites
Definitions
mb
automata
2
Sections
GenAutomata
Doc
x:qimp{i:l}(). vc_qimp(x) 
vc{i:l}()x:qimp{i:l}(). vc_qimp(x) vc{i:l}()
