WhoCites Definitions mb label Sections GenAutomata 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
Thm* A:Type, l:A List. hd(l) A

About:
listlist_indnatural_number
tokenuniversememberimpliesall!abstraction

WhoCites Definitions mb label Sections GenAutomata Doc