---

Step * of Lemma unit_ss_point_lemma

Point(𝕀) ~ {x:ℝ| (r0 ≤ x) ∧ (x ≤ r1)} 
BY
{ Computation }

---

Latex:

---

Latex:
Point(\mBbbI{})  \msim{}  \{x:\mBbbR{}|  (r0  \mleq{}  x)  \mwedge{}  (x  \mleq{}  r1)\} 


By

---

Latex:
Computation

---

Home Index