WhoCites Definitions mb automata 3 Sections GenAutomata Doc

Who Cites ts pvar?
ts_pvarDef ts_pvar(x) == inr(inl(x))
Thm* x:Label. ts_pvar(x) ts()

About:
inlinrmemberall!abstraction

WhoCites Definitions mb automata 3 Sections GenAutomata Doc