Nuprl Definition : rge
x ≥ y == y ≤ x
Definitions occuring in Statement :
rleq: x ≤ y
Definitions occuring in definition :
rleq: x ≤ y
FDL editor aliases :
rge
rge
rge
Latex:
x \mgeq{} y == y \mleq{} x
Date html generated:
2016_05_18-AM-07_05_25
Last ObjectModification:
2015_09_23-AM-09_01_25
Theory : reals
Home
Index