Nuprl Definition : es-le-before
≤loc(e) == before(e) @ [e]
Definitions occuring in Statement :
es-before: before(e),
append: as @ bs,
cons: [a / b],
nil: []
FDL editor aliases :
es-le-before
es-le-before
\mleq{}loc(e) == before(e) @ [e]
Date html generated:
2015_07_17-AM-08_40_36
Last ObjectModification:
2013_03_25-PM-01_47_52
Home
Index