---

Step * of Lemma sq_stable_iff_stable

XM ⇒ (∀P:ℙ. (SqStable(P) ⇐⇒ Stable{P}))
BY
{ Auto }

1
1. XM
2. P : ℙ
3. SqStable(P)
⊢ Stable{P}

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index