Nuprl Definition : qmin-list
qmin-list(L) == combine-list(x,y.qmin(x;y);L)
Definitions occuring in Statement :
qmin: qmin(x;y),
combine-list: combine-list(x,y.f[x; y];L)
Definitions occuring in definition :
combine-list: combine-list(x,y.f[x; y];L),
qmin: qmin(x;y)
FDL editor aliases :
qmin-list
Latex:
qmin-list(L) == combine-list(x,y.qmin(x;y);L)
Date html generated:
2016_05_15-PM-10_43_15
Last ObjectModification:
2015_09_23-AM-08_27_14
Theory : rationals
Home
Index