Nuprl Definition : ratreal

ratreal(r) == let a,b = r in r(a/b)

Definitions occuring in Statement : rat-to-real: r(a/b), spread: spread def
Definitions occuring in definition : spread: spread def, rat-to-real: r(a/b)
FDL editor aliases : ratreal

Latex:
ratreal(r) == let a,b = r in r(a/b) Date html generated: 2019_10_30-AM-09_15_53 Last ObjectModification: 2019_01_10-AM-11_34_14 Theory : reals Home Index