Nuprl Definition : lastn
lastn(n;L) == nth_tl(||L|| - n;L)
Definitions occuring in Statement :
length: ||as||,
nth_tl: nth_tl(n;as),
subtract: n - m
Definitions occuring in definition :
nth_tl: nth_tl(n;as),
subtract: n - m,
length: ||as||
FDL editor aliases :
lastn
Latex:
lastn(n;L) == nth\_tl(||L|| - n;L)
Date html generated:
2016_05_15-PM-03_35_34
Last ObjectModification:
2015_09_23-AM-07_44_14
Theory : general
Home
Index