---

Step * of Lemma rmul_preserves_rleq2

∀[x,y,z:ℝ].  ((x * y) ≤ (z * y)) supposing ((x ≤ z) and (r0 ≤ y))
BY
{ Auto }

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

---

Latex:

---

Latex:
\mforall{}[x,y,z:\mBbbR{}].    ((x  *  y)  \mleq{}  (z  *  y))  supposing  ((x  \mleq{}  z)  and  (r0  \mleq{}  y))


By

---

Latex:
Auto

---

Home Index