WhoCites Definitions list 3 jlc Sections Support(jlc) Doc

Who Cites hd?
hdDef hd(l) == Case of l; nil "?" ; h.t h
Thm* A:Type, l:A List. ||l||1 hd(l) A

About:
listlist_indnatural_number
tokenuniversememberimpliesall!abstraction

WhoCites Definitions list 3 jlc Sections Support(jlc) Doc