Nuprl Definition : q-floor
[r] == fst(rat-int-part(r))
Definitions occuring in Statement :
rat-int-part: rat-int-part(q),
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t),
rat-int-part: rat-int-part(q)
FDL editor aliases :
q-floor
Latex:
[r] == fst(rat-int-part(r))
Date html generated:
2016_05_15-PM-11_34_34
Last ObjectModification:
2015_09_23-AM-08_30_17
Theory : rationals
Home
Index