---

Step * of Lemma not-pair-member-int

∀[a,b:Base].  (¬(<a, b> ∈ ℤ))
BY
{ RepeatFor 2 ((UD THENA Auto)) }

1
1. [a] : Base
2. [b] : Base
⊢ ¬(<a, b> ∈ ℤ)

---

Latex:

---

Latex:
\mforall{}[a,b:Base].    (\mneg{}(<a,  b>  \mmember{}  \mBbbZ{}))


By

---

Latex:
RepeatFor  2  ((UD  THENA  Auto))

---

Home Index