---

Step * of Lemma face-name-eq_wf

∀[I:Cname List]. ∀[a,b:nameset(I) × ℕ2].  (face-name-eq(a;b) ∈ 𝔹)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[I:Cname  List].  \mforall{}[a,b:nameset(I)  \mtimes{}  \mBbbN{}2].    (face-name-eq(a;b)  \mmember{}  \mBbbB{})


By

---

Latex:
ProveWfLemma

---

Home Index