Step
*
of Lemma
sq_stable__uimplies
∀[P,Q:ℙ].  (SqStable(Q) 
⇒ SqStable(Q supposing P))
BY
{ (Unfold `sq_stable` 0 THEN Auto) }
Latex:
Latex:
\mforall{}[P,Q:\mBbbP{}].    (SqStable(Q)  {}\mRightarrow{}  SqStable(Q  supposing  P))
By
Latex:
(Unfold  `sq\_stable`  0  THEN  Auto)
Home
Index