---

Step * 2 of Lemma rstar-rleq


1. [x] : ℝ
2. [y] : ℝ
3. x ≤ y
⊢ (x)* ≤ (y)*
BY
{ (D 0 With ⌜0⌝  THEN RepUR ``rstar`` 0 THEN Auto) }

---

Latex:

---

Latex:

1.  [x]  :  \mBbbR{}
2.  [y]  :  \mBbbR{}
3.  x  \mleq{}  y
\mvdash{}  (x)*  \mleq{}  (y)*


By

---

Latex:
(D  0  With  \mkleeneopen{}0\mkleeneclose{}    THEN  RepUR  ``rstar``  0  THEN  Auto)

---

Home Index