Nuprl Definition : qlf-val
qlf-val(lf;p) == let v,r = lf in qdot(v;p) + r
Definitions occuring in Statement :
qdot: qdot(as;bs),
qadd: r + s,
spread: spread def
Definitions occuring in definition :
spread: spread def,
qadd: r + s,
qdot: qdot(as;bs)
FDL editor aliases :
qlf-val
Latex:
qlf-val(lf;p) == let v,r = lf in qdot(v;p) + r
Date html generated:
2016_05_15-PM-11_22_33
Last ObjectModification:
2015_09_23-AM-08_29_12
Theory : rationals
Home
Index