Nuprl - Some Definitions

WhoCites Definitions GenAutomata Sections NuprlLIB Doc

	Who Cites vc qimp?

vc_qimp	`Def vc_qimp(x) == inr(x)`

	`Thm* x:qimp{i:l}(). vc_qimp(x) vc{i:l}()`

About:

WhoCites Definitions GenAutomata Sections NuprlLIB Doc