Nuprl Definition : segment
as[m..n-] == firstn(n - m;nth_tl(m;as))
Definitions occuring in Statement :
firstn: firstn(n;as)
,
nth_tl: nth_tl(n;as)
,
subtract: n - m
Definitions occuring in definition :
firstn: firstn(n;as)
,
subtract: n - m
,
nth_tl: nth_tl(n;as)
FDL editor aliases :
segment
Latex:
as[m..n\msupminus{}] == firstn(n - m;nth\_tl(m;as))
Date html generated:
2016_05_14-AM-06_48_14
Last ObjectModification:
2015_12_03-PM-02_05_45
Theory : list_0
Home
Index