---

Step * of Lemma transition-system_wf

transition-system{i:l} ∈ 𝕌{[2 | i']}
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
transition-system\{i:l\}  \mmember{}  \mBbbU{}\{[2  |  i']\}


By

---

Latex:
ProveWfLemma

---

Home Index