---

Step * of Lemma is-list-approx0

∀[x:Top]. (is-list-approx(0) x ~ ⊥)
BY
{ (RepUR ``is-list-approx`` 0 THEN Strictness THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[x:Top].  (is-list-approx(0)  x  \msim{}  \mbot{})


By

---

Latex:
(RepUR  ``is-list-approx``  0  THEN  Strictness  THEN  Auto)

---

Home Index