---

Step * of Lemma rmin_ub

∀x,y,z:ℝ.  ((z ≤ x) ∧ (z ≤ y) ⇐⇒ z ≤ rmin(x;y))
BY
{ Auto }

1
1. x : ℝ@i
2. y : ℝ@i
3. z : ℝ@i
4. z ≤ x@i
5. z ≤ y@i
⊢ z ≤ rmin(x;y)

2
1. x : ℝ@i
2. y : ℝ@i
3. z : ℝ@i
4. z ≤ rmin(x;y)@i
⊢ z ≤ x

3
1. x : ℝ@i
2. y : ℝ@i
3. z : ℝ@i
4. z ≤ rmin(x;y)@i
⊢ z ≤ y

---

Latex:

---

Latex:
\mforall{}x,y,z:\mBbbR{}.    ((z  \mleq{}  x)  \mwedge{}  (z  \mleq{}  y)  \mLeftarrow{}{}\mRightarrow{}  z  \mleq{}  rmin(x;y))


By

---

Latex:
Auto

---

Home Index