---

Step * of Lemma free-0-append

∀[X:Type]. ∀[w:free-word(X)].  (0 + w = w ∈ free-word(X))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[X:Type].  \mforall{}[w:free-word(X)].    (0  +  w  =  w)


By

---

Latex:
Auto

---

Home Index