Nuprl Definition : hdp
hdp(L) == hd(L)
Definitions occuring in Statement :
hd: hd(l)
Definitions occuring in definition :
hd: hd(l)
FDL editor aliases :
hdp
Latex:
hdp(L) == hd(L)
Date html generated:
2016_05_14-PM-01_30_11
Last ObjectModification:
2015_09_22-PM-05_54_16
Theory : list_1
Home
Index