---

Step * of Lemma dlo-le_wf

dlo-le() ∈ dl-Obj() ⟶ dl-Obj() ⟶ 𝔹
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
dlo-le()  \mmember{}  dl-Obj()  {}\mrightarrow{}  dl-Obj()  {}\mrightarrow{}  \mBbbB{}


By

---

Latex:
ProveWfLemma

---

Home Index