---

Step * of Lemma eq_mFO_wf

∀[x,y:mFOL()].  (eq_mFO(x;y) ∈ 𝔹)
BY
{ ProveWfLemma }

---

Latex:


\mforall{}[x,y:mFOL()].    (eq\_mFO(x;y)  \mmember{}  \mBbbB{})


By

ProveWfLemma

---

Home Index