---

Step * of Lemma rmul_reverses_rleq

∀[x,y,z:ℝ].  ((z * y) ≤ (x * y)) supposing ((y ≤ r0) and (x ≤ z))
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{}].    ((z  *  y)  \mleq{}  (x  *  y))  supposing  ((y  \mleq{}  r0)  and  (x  \mleq{}  z))


By

---

Latex:
Auto

---

Home Index