---

Step * of Lemma int_entire_a

∀[a,b:ℤ].  (a * b ≠ 0) supposing (b ≠ 0 and a ≠ 0)
BY
{ Auto }

1
1. a : ℤ
2. b : ℤ
3. a ≠ 0
4. b ≠ 0
⊢ a * b ≠ 0

---

Latex:

---

Latex:
\mforall{}[a,b:\mBbbZ{}].    (a  *  b  \mneq{}  0)  supposing  (b  \mneq{}  0  and  a  \mneq{}  0)


By

---

Latex:
Auto

---

Home Index