---

Step * 2 of Lemma rstar-rless


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  <  y
\mvdash{}  (x)*  <  (y)*


By

---

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

---

Home Index