Nuprl - Some Definitions

WhoCites Definitions mb automata 4 Sections GenAutomata Doc

	Who Cites ts op?

ts_op	`Def ts_op(x) == inr(inr(inl(x)))`

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

About:

WhoCites Definitions mb automata 4 Sections GenAutomata Doc