WhoCites Definitions mb automata 1 Sections GenAutomata Doc

Who Cites ts fvar?
ts_fvarDef ts_fvar(x) == inr(inr(inr(inl(x))))
Thm* x:Label. ts_fvar(x) ts()

About:
inlinrmemberall!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc