---

Step * of Lemma curry-lemma

∀A,B,C:ℙ.  (((A ∧ B) ⇒ C) ⇒ A ⇒ B ⇒ C)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}A,B,C:\mBbbP{}.    (((A  \mwedge{}  B)  {}\mRightarrow{}  C)  {}\mRightarrow{}  A  {}\mRightarrow{}  B  {}\mRightarrow{}  C)


By

---

Latex:
Auto

---

Home Index