---

Step * of Lemma eq_lnk_self

∀[l:IdLnk]. l = l = tt
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[l:IdLnk].  l  =  l  =  tt


By

---

Latex:
Auto

---

Home Index