---

Step * of Lemma ppcc-problem3

False supposing [] = [1] ∈ (ℤ List)
BY
{ Auto }

---

Latex:

---

Latex:
False  supposing  []  =  [1]


By

---

Latex:
Auto

---

Home Index