---

Step * of Lemma int_mod_2_isect_int_mod_3

ℤ_2 ⋂ ℤ_3 ≡ ℤ_6
BY
{ (InstLemma `int_mod_isect_int_mod` [2;3]⋅ THEN Auto THEN NthHypSq (-1) THEN RepeatFor 2 (EqCD)) }

---

Latex:

---

Latex:
\mBbbZ{}\_2  \mcap{}  \mBbbZ{}\_3  \mequiv{}  \mBbbZ{}\_6


By

---

Latex:
(InstLemma  `int\_mod\_isect\_int\_mod`  [2;3]\mcdot{}  THEN  Auto  THEN  NthHypSq  (-1)  THEN  RepeatFor  2  (EqCD))

---

Home Index