Nuprl Definition : oal_lv
lv(ps) == snd(hd(ps))
Definitions occuring in Statement :
hd: hd(l),
pi2: snd(t)
Definitions occuring in definition :
pi2: snd(t),
hd: hd(l)
Latex:
lv(ps) == snd(hd(ps))
Date html generated:
2016_05_16-AM-08_19_49
Last ObjectModification:
2015_09_23-AM-09_52_59
Theory : polynom_2
Home
Index