---

Step * of Lemma pv11_p1_add_if_new_wf

pv11_p1_add_if_new() ∈ ∩A:𝕌'. ((A ─→ A ─→ 𝔹) ─→ A ─→ (A List) ─→ (A List))
BY
{ ProveEmlWfLemma }

---

Latex:

---

Latex:
pv11\_p1\_add\_if\_new()  \mmember{}  \mcap{}A:\mBbbU{}'.  ((A  {}\mrightarrow{}  A  {}\mrightarrow{}  \mBbbB{})  {}\mrightarrow{}  A  {}\mrightarrow{}  (A  List)  {}\mrightarrow{}  (A  List))


By

---

Latex:
ProveEmlWfLemma

---

Home Index