Nuprl Definition : es-p-le
e p≤ e' == e p< e' ∨ (e = e' ∈ E)
Definitions occuring in Statement :
es-p-locl: e p< e',
es-E: E,
or: P ∨ Q,
equal: s = t ∈ T
FDL editor aliases :
es-p-le
es-p-le
e p\mleq{} e' == e p< e' \mvee{} (e = e')
Date html generated:
2015_07_17-AM-09_07_19
Last ObjectModification:
2013_03_25-PM-01_58_23
Home
Index