Nuprl - list 3 jlc LEMMAs for non nil is member

list 3 jlc Sections Support(jlc) Doc

Theorem	Name
		Thm* eq:{T}, L:T List. L nil (x:T. x(eq) L)	[non_nil_is_member]
cites
		Thm* P:. P P = true	[assert_iff_btrue]

list 3 jlc Sections Support(jlc) Doc