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*
Latex:
x \mgeq{} y == y \mleq{} x
Date html generated:
2018_05_22-PM-03_18_57
Last ObjectModification:
2017_10_06-PM-05_19_56
Theory : reals_2
Home
Index