Nuprl Definition : es-interface-predecessors
≤(X)(e) == eclass-events(es;X;≤loc(e))
Definitions occuring in Statement :
eclass-events: eclass-events(es;X;L),
es-le-before: ≤loc(e)
FDL editor aliases :
es-interface-predecessors
Latex:
\mleq{}(X)(e) == eclass-events(es;X;\mleq{}loc(e))
Date html generated:
2015_07_20-PM-03_41_37
Last ObjectModification:
2012_02_25-PM-01_52_42
Home
Index