Nuprl Definition : last
last(L) == L[||L|| - 1]
Definitions occuring in Statement :
select: L[n],
length: ||as||,
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
select: L[n],
subtract: n - m,
length: ||as||,
natural_number: $n
FDL editor aliases :
last
Latex:
last(L) == L[||L|| - 1]
Date html generated:
2016_05_14-AM-06_36_19
Last ObjectModification:
2015_12_03-PM-02_08_40
Theory : list_0
Home
Index