---

Step * of Lemma rmin-rleq-rmax

∀a,b:ℝ.  (rmin(a;b) ≤ rmax(a;b))
BY
{ EAuto 2 }

---

Latex:

---

Latex:
\mforall{}a,b:\mBbbR{}.    (rmin(a;b)  \mleq{}  rmax(a;b))


By

---

Latex:
EAuto  2

---

Home Index