---

Step * of Lemma padic_subtype_basic-padic

∀[p:ℤ]. (padic(p) ⊆r basic-padic(p))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[p:\mBbbZ{}].  (padic(p)  \msubseteq{}r  basic-padic(p))


By

---

Latex:
Auto

---

Home Index