---

Step * of Lemma ppcc-problem3

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

---

Latex:


False  supposing  []  =  [1]


By

Auto

---

Home Index