---

Step * of Lemma awf-example1_wf

awf-example1() ∈ awf-system{i:l}(ℕ3;ℤ)
BY
{ (Unfold `awf-system` 0 THEN ProveWfLemma) }

---

Latex:

---

Latex:
awf-example1()  \mmember{}  awf-system\{i:l\}(\mBbbN{}3;\mBbbZ{})


By

---

Latex:
(Unfold  `awf-system`  0  THEN  ProveWfLemma)

---

Home Index