Nuprl - Some Definitions

	Who Cites col?

col	`Def Collection(T) == TProp`

	`Thm* T:Type{i'}. Collection{i}(T) Type{i'}`

Syntax: Collection(T) has structure: col{i:l}(T)

About: