Nuprl - Some Definitions

WhoCites Definitions var jlc Sections ClassicalProps(jlc) Doc

	Who Cites Var?

Var	`Def Var == Atom`

	`Thm* Var Type`

subtype	`Def S T == x:S. x T`

About:

WhoCites Definitions var jlc Sections ClassicalProps(jlc) Doc