Nuprl - Definition of Var

WhoCites Definitions formula Sections ClassicalProps(jlc) Doc

	Who Cites Var?

Var	`Def Var == Atom`

	`Thm* Var Type`

About:

WhoCites Definitions formula Sections ClassicalProps(jlc) Doc