---

Step * of Lemma rmax_strict_ub

No Annotations
∀x,y,z:ℝ.  ((z < x) ∨ (z < y) ⇐⇒ z < rmax(x;y))
BY
{ Auto }

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

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

---

Latex:

---

Latex:
No  Annotations
\mforall{}x,y,z:\mBbbR{}.    ((z  <  x)  \mvee{}  (z  <  y)  \mLeftarrow{}{}\mRightarrow{}  z  <  rmax(x;y))


By

---

Latex:
Auto

---

Home Index