---

Step * of Lemma minimal-triple-neg

∀[E:Type]. ∀[A:ℙ].  (((A ⇒ E) ⇒ E) ⇒ E ⇐⇒ A ⇒ E)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[E:Type].  \mforall{}[A:\mBbbP{}].    (((A  {}\mRightarrow{}  E)  {}\mRightarrow{}  E)  {}\mRightarrow{}  E  \mLeftarrow{}{}\mRightarrow{}  A  {}\mRightarrow{}  E)


By

---

Latex:
Auto

---

Home Index