WhoCites Definitions GenAutomata Sections NuprlLIB 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 GenAutomata Sections NuprlLIB Doc