Nuprl Definition : es-cut-at

c(i) ==  c@i


Definitions occuring in Statement :  es-fset-at: s@i
FDL editor aliases :  es-cut-at
Latex:
c(i)  ==    c@i


Date html generated: 2016_05_17-AM-07_29_19
Last ObjectModification: 2012_02_25-PM-02_54_28

Theory : event-ordering


Home Index