---

Step * of Lemma minimal-example1

∀[A,B,X:ℙ].  ((((A ⇒ B) ⇒ X) ⇒ X) ⇒ ((A ⇒ X) ⇒ X) ⇒ (B ⇒ X) ⇒ X)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[A,B,X:\mBbbP{}].    ((((A  {}\mRightarrow{}  B)  {}\mRightarrow{}  X)  {}\mRightarrow{}  X)  {}\mRightarrow{}  ((A  {}\mRightarrow{}  X)  {}\mRightarrow{}  X)  {}\mRightarrow{}  (B  {}\mRightarrow{}  X)  {}\mRightarrow{}  X)


By

---

Latex:
Auto

---

Home Index