---

Step * of Lemma implies-wf

∀[A:ℙ]. ∀[B:⋂a:A. ℙ].  (A ⇒ B ∈ ℙ)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[A:\mBbbP{}].  \mforall{}[B:\mcap{}a:A.  \mBbbP{}].    (A  {}\mRightarrow{}  B  \mmember{}  \mBbbP{})


By

---

Latex:
Auto

---

Home Index