WhoCites Definitions mb automata 4 Sections GenAutomata Doc

Who Cites ts var?
ts_varDef ts_var(x) == inl(x)
Thm* x:Label. ts_var(x) ts()

About:
inlmemberall!abstraction

WhoCites Definitions mb automata 4 Sections GenAutomata Doc