WhoCites Definitions mb automata 4 Sections GenAutomata Doc

Who Cites vc imp?
vc_impDef vc_imp(x) == inl(x)
Thm* x:imp{i:l}(). vc_imp(x) vc{i:l}()

About:
inlmemberall!abstraction

WhoCites Definitions mb automata 4 Sections GenAutomata Doc