---

Step * of Lemma divides_anti_sym

∀a,b:ℤ.  ((a | b) ⇒ (b | a) ⇒ a = ± b)
BY
{ Auto }

1
1. a : ℤ
2. b : ℤ
3. a | b
4. b | a
⊢ a = ± b

---

Latex:

---

Latex:
\mforall{}a,b:\mBbbZ{}.    ((a  |  b)  {}\mRightarrow{}  (b  |  a)  {}\mRightarrow{}  a  =  \mpm{}  b)


By

---

Latex:
Auto

---

Home Index