Nuprl Definition : es-causl
(e < e') == ↓e es."<" e'
Definitions occuring in Statement :
infix_ap: x f y,
squash: ↓T,
token: "$token",
record-select: r.x
FDL editor aliases :
es-causl
es-causl
(e < e') == \mdownarrow{}e es."<" e'
Date html generated:
2015_07_17-AM-08_34_08
Last ObjectModification:
2014_02_20-PM-02_16_35
Home
Index