---

Step * of Lemma int-list-member_wf

∀i:ℤ. ∀xs:ℤ List.  (int-list-member(i;xs) ∈ 𝔹)
BY
{ ProveWfLemma⋅ }

---

Latex:

---

Latex:
\mforall{}i:\mBbbZ{}.  \mforall{}xs:\mBbbZ{}  List.    (int-list-member(i;xs)  \mmember{}  \mBbbB{})


By

---

Latex:
ProveWfLemma\mcdot{}

---

Home Index