Nuprl - Some Definitions

WhoCites Definitions Three Sections ClassicalProps(jlc) Doc

	Who Cites Three?

Three	`Def == Unit+Unit+Unit`

	`Thm* Type`

Three_0	`Def 3 == inl()`

	`Thm* 3`

Three_1	`Def 3 == inr(inl())`

	`Thm* 3`

About:

WhoCites Definitions Three Sections ClassicalProps(jlc) Doc