---

Step * of Lemma mFOLisAll_wf

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

---

Latex:


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


By

ProveWfLemma

---

Home Index