---

Step * of Lemma sq_stable_and_left_false

∀[P:ℙ]. ∀Q:Top. ((¬P) ⇒ SqStable(P ∧ Q))
BY
{ (RepeatFor 3 ((D 0 THENA Auto)) THEN (D 0 THENA Auto) THEN Assert ⌜False⌝⋅ THEN Auto THEN D (-1) THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[P:\mBbbP{}].  \mforall{}Q:Top.  ((\mneg{}P)  {}\mRightarrow{}  SqStable(P  \mwedge{}  Q))


By

---

Latex:
(RepeatFor  3  ((D  0  THENA  Auto))
  THEN  (D  0  THENA  Auto)
  THEN  Assert  \mkleeneopen{}False\mkleeneclose{}\mcdot{}
  THEN  Auto
  THEN  D  (-1)
  THEN  Auto)

---

Home Index