---

Step * of Lemma length_of_nil_lemma

||[]|| ~ 0
BY
{ Computation }

---

Latex:

---

Latex:
||[]||  \msim{}  0


By

---

Latex:
Computation

---

Home Index