---

Step * of Lemma mklnk-wf-test

     (Unhideable token semantics in effect)

link 1 from a to b ∈ IdLnk
BY
{ Auto }

---

Latex:


          (Unhideable  token  semantics  in  effect)

link  1  from  a  to  b  \mmember{}  IdLnk


By

Auto

---

Home Index