Nuprl - Definition of Var

WhoCites Definitions var jlc Sections ClassicalProps(jlc) Doc

	Who Cites Var?

Var	`Def Var == Atom`

	`Thm* Var Type`

About:

WhoCites Definitions var jlc Sections ClassicalProps(jlc) Doc