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 :
req: x = y,
real: ℝ,
quotient: x,y:A//B[x; y]
FDL editor aliases :
qreal
Latex:
[\mBbbR{}] == x,y:\mBbbR{}//(x = y)
Date html generated:
2016_10_26-PM-00_51_18
Last ObjectModification:
2016_09_12-PM-05_47_32
Theory : reals_2
Home
Index