---

Step * 1 1 1 of Lemma radd_list_nil_lemma


λk.(2 * k * 0) ~ λk.(2 * k * 0)
BY
{ Try SqEqCD }

---

Latex:

---

Latex:

\mlambda{}k.(2  *  k  *  0)  \msim{}  \mlambda{}k.(2  *  k  *  0)


By

---

Latex:
Try  SqEqCD

---

Home Index