---

Step * of Lemma xmiddle-implies-stable

XM ⇒ (∀P:ℙ. Stable{P})
BY
{ (GenUnivCD THENA Auto) }

1
1. XM
2. P : ℙ
⊢ Stable{P}

---

Latex:

---

Latex:
XM  {}\mRightarrow{}  (\mforall{}P:\mBbbP{}.  Stable\{P\})


By

---

Latex:
(GenUnivCD  THENA  Auto)

---

Home Index