---

Step * of Lemma mFOLisImp_wf

∀[A:mFOL()]. (mFOLisImp(A) ∈ 𝔹)
BY
{ ProveWfLemma }

---

Latex:


\mforall{}[A:mFOL()].  (mFOLisImp(A)  \mmember{}  \mBbbB{})


By

ProveWfLemma

---

Home Index