---

Step * of Lemma rmul_reverses_rless

∀x,y,z:ℝ.  ((x < z) ⇒ (y < r0) ⇒ ((z * y) < (x * y)))
BY
{ Auto }

1
1. x : ℝ
2. y : ℝ
3. z : ℝ
4. x < z
5. y < r0
⊢ (z * y) < (x * y)

---

Latex:

---

Latex:
\mforall{}x,y,z:\mBbbR{}.    ((x  <  z)  {}\mRightarrow{}  (y  <  r0)  {}\mRightarrow{}  ((z  *  y)  <  (x  *  y)))


By

---

Latex:
Auto

---

Home Index