Nuprl Lemma : rless_complement-RelRST-test

∀[x,y,z:ℝ].  ((x ≤ y) ⇒ (¬(z < y)) ⇒ (x ≤ z))


Proof

Error : references
Latex:
\mforall{}[x,y,z:\mBbbR{}].    ((x  \mleq{}  y)  {}\mRightarrow{}  (\mneg{}(z  <  y))  {}\mRightarrow{}  (x  \mleq{}  z))


Date html generated: 2020_05_21-AM-10_26_37
Last ObjectModification: 2020_01_09-PM-04_28_53

Theory : reals


Home Index