Nuprl Definition : ex-sqle
ex-sqle(e;t;t') == subst-exc(e;t) ≤ subst-exc(e;t')
Definitions occuring in Statement :
subst-exc: subst-exc(e;t),
sqle: s ≤ t
Definitions occuring in definition :
sqle: s ≤ t,
subst-exc: subst-exc(e;t)
FDL editor aliases :
ex-sqle
Latex:
ex-sqle(e;t;t') == subst-exc(e;t) \mleq{} subst-exc(e;t')
Date html generated:
2017_02_20-AM-10_46_36
Last ObjectModification:
2017_01_25-PM-04_56_23
Theory : call!by!value_1
Home
Index