Nuprl Definition : es-eq-E
e = e' ==  es-eq(es) e e'
Definitions occuring in Statement : 
es-eq: es-eq(es)
, 
apply: f a
FDL editor aliases : 
es-eq-E
es-eq-E
Latex:
e  =  e'  ==    es-eq(es)  e  e'
Date html generated:
2016_05_16-AM-09_15_30
Last ObjectModification:
2013_03_23-PM-06_08_44
Theory : new!event-ordering
Home
Index