Nuprl Definition : qreal
[ℝ] == x,y:ℝ//(x = y)
Definitions occuring in Statement :
req: x = y,
real: ℝ,
quotient: x,y:A//B[x; y]
Definitions occuring in definition :
quotient: x,y:A//B[x; y],
real: ℝ,
req: x = y
FDL editor aliases :
qreal
Latex:
[\mBbbR{}] == x,y:\mBbbR{}//(x = y)
Date html generated:
2016_05_18-AM-11_14_05
Last ObjectModification:
2015_10_16-PM-06_55_20
Theory : reals
Home
Index