---

Step * of Lemma p-adics-subtype

∀[p:ℕ+]. (p-adics(p) ⊆r (ℕ+ ⟶ ℤ))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[p:\mBbbN{}\msupplus{}].  (p-adics(p)  \msubseteq{}r  (\mBbbN{}\msupplus{}  {}\mrightarrow{}  \mBbbZ{}))


By

---

Latex:
Auto

---

Home Index