Who Cites col none?
col_none	Def < > (x) == False
	Thm* T:Type. < > Collection(T)

Syntax:

< >

has structure:

col_none

About: