Nuprl Basics - NuprlPrimitives LEMMAs for sfa_doc_type_poly_mem

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

Theorem	Name
Thm* f:(D:Type. D(D List)), A:Type, a,x:A. x list f(a) x = a	[sfa_doc_type_poly_mem_const]
cites the following:
Thm* a:A, w:{a:A} List. z:A. z list w z = a	[sfa_doc_inlist_singleton_const]

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html