WhoCites
Definitions
mb
automata
4
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
4
Sections
GenAutomata
Doc