Nuprl Definition : hd
hd(l) == fst(l)
Definitions occuring in Statement :
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t)
FDL editor aliases :
hd
Latex:
hd(l) == fst(l)
Date html generated:
2016_05_14-AM-06_34_21
Last ObjectModification:
2015_12_03-PM-02_05_20
Theory : list_0
Home
Index