Nuprl Definition : initseg_sum
initseg_sum(r;L) == l_sum(firstn(r + 1;L))
Definitions occuring in Statement :
l_sum: l_sum(L),
firstn: firstn(n;as),
add: n + m,
natural_number: $n
FDL editor aliases :
initseg_sum
initseg\_sum(r;L) == l\_sum(firstn(r + 1;L))
Date html generated:
2014_01_21-PM-02_38_38
Last ObjectModification:
2013_10_24-PM-00_11_08
Home
Index