---

Step * of Lemma trivial-arith

(3 = 2 ∈ ℤ) ⇒ False
BY
{ Auto }

---

Latex:

---

Latex:
(3  =  2)  {}\mRightarrow{}  False


By

---

Latex:
Auto

---

Home Index