---

Step * of Lemma rat-interval-dimension-single

∀[a:ℚ]. (dim([a]) ~ 0)
BY
{ (Auto THEN RepUR ``rat-interval-dimension`` 0 THEN AutoSplit) }

---

Latex:

---

Latex:
\mforall{}[a:\mBbbQ{}].  (dim([a])  \msim{}  0)


By

---

Latex:
(Auto  THEN  RepUR  ``rat-interval-dimension``  0  THEN  AutoSplit)

---

Home Index