---

Step * of Lemma mkid-wf-test

     (Unhideable token semantics in effect)

"xxx" ∈ Id
BY
{ Auto ⋅ }

---

Latex:

---

Latex:
          (Unhideable  token  semantics  in  effect)

"xxx"  \mmember{}  Id


By

---

Latex:
Auto  \mcdot{}

---

Home Index