Who Cites col member?
col_member	Def x c == c(x)
	Thm* T:Type, x:T, c:Collection(T). x c Prop

Syntax:

x c

has structure:

col_member(x; c)

About: