Nuprl Definition : oal_lk
lk(ps) == fst(hd(ps))
Definitions occuring in Statement :
hd: hd(l),
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t),
hd: hd(l)
Latex:
lk(ps) == fst(hd(ps))
Date html generated:
2016_05_16-AM-08_19_36
Last ObjectModification:
2015_09_23-AM-09_52_58
Theory : polynom_2
Home
Index