---

Step * of Lemma gcd_is_gcd

∀a,b,c:ℤ.  ((c | a) ⇒ (c | b) ⇒ (c | gcd(a;b)))
BY
{ Auto }

1
1. a : ℤ
2. b : ℤ
3. c : ℤ
4. c | a
5. c | b
⊢ c | gcd(a;b)

---

Latex:

---

Latex:
\mforall{}a,b,c:\mBbbZ{}.    ((c  |  a)  {}\mRightarrow{}  (c  |  b)  {}\mRightarrow{}  (c  |  gcd(a;b)))


By

---

Latex:
Auto

---

Home Index