---

Step * of Lemma FOQuantifier_wf

∀[isall:𝔹]. (FOQuantifier(isall) ∈ ℤ ─→ AbstractFOFormula ─→ AbstractFOFormula)
BY
{ ProveWfLemma }

---

Latex:


\mforall{}[isall:\mBbbB{}].  (FOQuantifier(isall)  \mmember{}  \mBbbZ{}  {}\mrightarrow{}  AbstractFOFormula  {}\mrightarrow{}  AbstractFOFormula)


By

ProveWfLemma

---

Home Index