Nuprl Definition : qbetween
a ≤ b ≤ c == (a ≤ b) ∧ (b ≤ c)
Definitions occuring in Statement :
qle: r ≤ s,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
qle: r ≤ s
FDL editor aliases :
qbetween
Latex:
a \mleq{} b \mleq{} c == (a \mleq{} b) \mwedge{} (b \mleq{} c)
Date html generated:
2016_05_15-PM-11_05_18
Last ObjectModification:
2015_09_23-AM-08_27_29
Theory : rationals
Home
Index