---

Step * of Lemma Comm-q_wf

∀[cSt:Comm-state()]. (Comm-q(cSt) ∈ (Id × (pi_prefix() List)) List)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[cSt:Comm-state()].  (Comm-q(cSt)  \mmember{}  (Id  \mtimes{}  (pi\_prefix()  List))  List)


By

---

Latex:
ProveWfLemma

---

Home Index