Nuprl Definition : reverse_select
reverse_select(l;n) == l[||l|| - n + 1]
Definitions occuring in Statement :
select: L[n],
length: ||as||,
subtract: n - m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
select: L[n],
subtract: n - m,
length: ||as||,
add: n + m,
natural_number: $n
FDL editor aliases :
reverse_select
Latex:
reverse\_select(l;n) == l[||l|| - n + 1]
Date html generated:
2016_05_15-PM-01_53_37
Last ObjectModification:
2015_09_23-AM-07_37_22
Theory : list!
Home
Index