---

Step * of Lemma rmin_strict_ub

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

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

2
1. x : ℝ
2. y : ℝ
3. z : ℝ
4. z < rmin(x;y)
⊢ z < x

3
1. x : ℝ
2. y : ℝ
3. z : ℝ
4. z < rmin(x;y)
⊢ z < y

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index