Nuprl Definition : qle
r ≤ s == r ≤ s
Definitions occuring in Statement :
qadd_grp: <ℚ+>,
grp_leq: a ≤ b
Definitions occuring in definition :
grp_leq: a ≤ b,
qadd_grp: <ℚ+>
FDL editor aliases :
qle
Latex:
r \mleq{} s == r \mleq{} s
Date html generated:
2016_05_15-PM-10_42_08
Last ObjectModification:
2015_09_23-AM-08_27_08
Theory : rationals
Home
Index