Nuprl Definition : es-fset-at

s@i ==  fst((TERMOF{es-fset-at-loc:o, 1:l, i:l} es i s))


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
FDL editor aliases :  es-fset-at es-fset-at
Latex:
s@i  ==    fst((TERMOF\{es-fset-at-loc:o,  1:l,  i:l\}  es  i  s))


Date html generated: 2016_05_16-AM-10_13_00
Last ObjectModification: 2013_03_26-PM-03_03_56

Theory : new!event-ordering


Home Index