WhoCites
Definitions
mb
automata
3
Sections
GenAutomata
Doc
Who Cites ts
var?
ts_var
Def ts_var(x) == inl(x)
Thm*
x:Label. ts_var(x)
ts()
About:
WhoCites
Definitions
mb
automata
3
Sections
GenAutomata
Doc
x:Label. ts_var(x) 
ts()x:Label. ts_var(x) ts()
