Nuprl Definition : l-last
l-last(l) == l-last-default(l;⊥)
Definitions occuring in Statement :
l-last-default: l-last-default(l;d)
,
bottom: ⊥
Definitions occuring in definition :
l-last-default: l-last-default(l;d)
,
bottom: ⊥
FDL editor aliases :
l-last
Latex:
l-last(l) == l-last-default(l;\mbot{})
Date html generated:
2016_05_14-AM-07_41_43
Last ObjectModification:
2015_09_22-PM-05_53_57
Theory : list_1
Home
Index