Nuprl Definition : seg_sum
seg_sum(p;q;L) == l_sum(L[p..q + 1
])
Definitions occuring in Statement :
l_sum: l_sum(L),
segment: as[m..n],
add: n + m,
natural_number: $n
FDL editor aliases :
seg_sum
seg\_sum(p;q;L) == l\_sum(L[p..q + 1\msupminus{}])
Date html generated:
2014_01_21-PM-02_38_36
Last ObjectModification:
2013_10_24-PM-00_27_46
Home
Index