---

Step * of Lemma half-squash-stable__and

∀[P,Q:ℙ].  (half-squash-stable(P) ⇒ half-squash-stable(Q) ⇒ half-squash-stable(P ∧ Q))
BY
{ (All  (Unfold `half-squash-stable`) THEN Auto THEN UnHalfSquash THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[P,Q:\mBbbP{}].    (half-squash-stable(P)  {}\mRightarrow{}  half-squash-stable(Q)  {}\mRightarrow{}  half-squash-stable(P  \mwedge{}  Q))


By

---

Latex:
(All    (Unfold  `half-squash-stable`)  THEN  Auto  THEN  UnHalfSquash  THEN  Auto)

---

Home Index