---

Step * of Lemma mklist-single

∀[f:Top]. (mklist(1;f) ~ [f 0])
BY
{ (RepUR ``mklist`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[f:Top].  (mklist(1;f)  \msim{}  [f  0])


By

---

Latex:
(RepUR  ``mklist``  0  THEN  Auto)

---

Home Index