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