---

Step * of Lemma coprime_elim_a

∀a,b:ℤ.  (CoPrime(a,b) ⇐⇒ gcd(a;b) ~ 1)
BY
{ (RepD THENA Auto) }

1
1. a : ℤ
2. b : ℤ
⊢ CoPrime(a,b) ⇐⇒ gcd(a;b) ~ 1

---

Latex:

---

Latex:
\mforall{}a,b:\mBbbZ{}.    (CoPrime(a,b)  \mLeftarrow{}{}\mRightarrow{}  gcd(a;b)  \msim{}  1)


By

---

Latex:
(RepD  THENA  Auto)

---

Home Index