Nuprl Definition : qge
a ≥ b == b ≤ a
Definitions occuring in Statement :
qle: r ≤ s
Definitions occuring in definition :
qle: r ≤ s
FDL editor aliases :
qge
Latex:
a \mgeq{} b == b \mleq{} a
Date html generated:
2016_05_15-PM-10_45_35
Last ObjectModification:
2015_09_23-AM-08_27_19
Theory : rationals
Home
Index