Nuprl Definition : es-fset-last
s(i) == last(s@i)
Definitions occuring in Statement :
es-fset-at: s@i,
last: last(L)
FDL editor aliases :
es-fset-last
es-fset-last
s(i) == last(s@i)
Date html generated:
2015_07_17-AM-09_01_09
Last ObjectModification:
2013_03_25-PM-01_55_25
Home
Index