Nuprl Definition : rat-to-real
r(a/b) == (r(a))/b
Definitions occuring in Statement :
int-rdiv: (a)/k1,
int-to-real: r(n)
Definitions occuring in definition :
int-rdiv: (a)/k1,
int-to-real: r(n)
FDL editor aliases :
rat-to-real
Latex:
r(a/b) == (r(a))/b
Date html generated:
2016_05_18-AM-06_56_47
Last ObjectModification:
2015_09_23-AM-09_00_58
Theory : reals
Home
Index