Nuprl Definition : q-ceil
q-ceil(r) == rat-int-bound(r)
Definitions occuring in Statement :
rat-int-bound: rat-int-bound(q)
Definitions occuring in definition :
rat-int-bound: rat-int-bound(q)
FDL editor aliases :
q-ceil
Latex:
q-ceil(r) == rat-int-bound(r)
Date html generated:
2016_05_15-PM-11_34_51
Last ObjectModification:
2015_09_23-AM-08_30_21
Theory : rationals
Home
Index