WhoCites
Definitions
mb
automata
4
Sections
GenAutomata
Doc
Who Cites ts
pvar?
ts_pvar
Def ts_pvar(x) == inr(inl(x))
Thm*
x:Label. ts_pvar(x)
ts()
About:
WhoCites
Definitions
mb
automata
4
Sections
GenAutomata
Doc