---

Step * of Lemma one-dim-int-vs

one-dim-vs(ℤ-rng) ~ ℤ
BY
{ (RepUR ``one-dim-vs int_ring int-vs`` 0 THEN Auto) }

---

Latex:

---

Latex:
one-dim-vs(\mBbbZ{}-rng)  \msim{}  \mBbbZ{}


By

---

Latex:
(RepUR  ``one-dim-vs  int\_ring  int-vs``  0  THEN  Auto)

---

Home Index