---

Step * of Lemma zero_divs_only_zero

∀[a:ℤ]. a = 0 ∈ ℤ supposing 0 | a
BY
{ Auto }

1
1. a : ℤ
2. 0 | a
⊢ a = 0 ∈ ℤ

---

Latex:

---

Latex:
\mforall{}[a:\mBbbZ{}].  a  =  0  supposing  0  |  a


By

---

Latex:
Auto

---

Home Index