Nuprl - Some Definitions

WhoCites Definitions GenAutomata Sections NuprlLIB Doc

	Who Cites ts var?

ts_var	`Def ts_var(x) == inl(x)`

	`Thm* x:Label. ts_var(x) ts()`

About:

WhoCites Definitions GenAutomata Sections NuprlLIB Doc