---

Step * of Lemma C_STOREp-welltyped_wf

∀env:C_TYPE_env(). ∀store:C_STOREp().  (C_STOREp-welltyped(env;store) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}env:C\_TYPE\_env().  \mforall{}store:C\_STOREp().    (C\_STOREp-welltyped(env;store)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index