---

Step * of Lemma sq_stable__iff

∀[P,Q:ℙ].  (SqStable(P) ⇒ SqStable(Q) ⇒ SqStable(P ⇐⇒ Q))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[P,Q:\mBbbP{}].    (SqStable(P)  {}\mRightarrow{}  SqStable(Q)  {}\mRightarrow{}  SqStable(P  \mLeftarrow{}{}\mRightarrow{}  Q))


By

---

Latex:
Auto

---

Home Index