---

Step * of Lemma C_LVALUE-proper_wf

∀env:C_TYPE_env(). ∀lval:C_LVALUE().  (C_LVALUE-proper(env;lval) ∈ 𝔹)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}env:C\_TYPE\_env().  \mforall{}lval:C\_LVALUE().    (C\_LVALUE-proper(env;lval)  \mmember{}  \mBbbB{})


By

---

Latex:
ProveWfLemma

---

Home Index