Nuprl Definition : rbetween
x≤y≤z == (x ≤ y) ∧ (y ≤ z)
Definitions occuring in Statement :
rleq: x ≤ y,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
rleq: x ≤ y
FDL editor aliases :
rbetween
rbetween
Latex:
x\mleq{}y\mleq{}z == (x \mleq{} y) \mwedge{} (y \mleq{} z)
Date html generated:
2016_05_18-AM-07_06_19
Last ObjectModification:
2015_09_23-AM-09_01_27
Theory : reals
Home
Index