---

Step * of Lemma and_assoc

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index