---

Step * of Lemma pw-evenodd_wf

pw-evenodd() ∈ 𝔹 ⟶ Type
BY
{ TACTIC:ProveWfLemma }

---

Latex:

---

Latex:
pw-evenodd()  \mmember{}  \mBbbB{}  {}\mrightarrow{}  Type


By

---

Latex:
TACTIC:ProveWfLemma

---

Home Index