---

Step * 1 1 1 of Lemma i-approx-rep


1. J : Interval
2. icompact(J)
⊢ left-endpoint(J) ≤ right-endpoint(J)
BY
{ EAuto 1 }

---

Latex:

---

Latex:

1.  J  :  Interval
2.  icompact(J)
\mvdash{}  left-endpoint(J)  \mleq{}  right-endpoint(J)


By

---

Latex:
EAuto  1

---

Home Index