---

Step * 1 of Lemma sq_stable_iff_stable


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

---

Latex:

---

Latex:

1.  XM
2.  P  :  \mBbbP{}
3.  SqStable(P)
\mvdash{}  Stable\{P\}


By

---

Latex:
EAuto  1

---

Home Index