---

Step * of Lemma eq_lnk_self

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

---

Latex:


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


By

Auto

---

Home Index