Nuprl Definition : qv-lower
qv-lower(lf;p) == let v,r = lf in qdot(v;p) ≤ r
Definitions occuring in Statement :
qdot: qdot(as;bs),
qle: r ≤ s,
spread: spread def
Definitions occuring in definition :
spread: spread def,
qle: r ≤ s,
qdot: qdot(as;bs)
FDL editor aliases :
qv-lower
Latex:
qv-lower(lf;p) == let v,r = lf in qdot(v;p) \mleq{} r
Date html generated:
2016_05_15-PM-11_22_11
Last ObjectModification:
2015_09_23-AM-08_29_04
Theory : rationals
Home
Index