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
Latex:
s(i)  ==    last(s@i)


Date html generated: 2016_05_16-AM-10_14_33
Last ObjectModification: 2013_03_25-PM-01_55_25

Theory : new!event-ordering


Home Index