---

Step * of Lemma CLK_headers_type_wf

∀[MsgType:ValueAllType]. (CLK_headers_type{i:l}(MsgType) ∈ ℙ')
BY
{ ProveEmlWfLemma }

---

Latex:

---

Latex:
\mforall{}[MsgType:ValueAllType].  (CLK\_headers\_type\{i:l\}(MsgType)  \mmember{}  \mBbbP{}')


By

---

Latex:
ProveEmlWfLemma

---

Home Index