---

Step * of Lemma mkpadic_wf

∀[p:ℕ+]. ∀[n:ℕ]. ∀[a:p-adics(p)].  ((a/p^n) ∈ padic(p))
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[p:\mBbbN{}\msupplus{}].  \mforall{}[n:\mBbbN{}].  \mforall{}[a:p-adics(p)].    ((a/p\^{}n)  \mmember{}  padic(p))


By

---

Latex:
ProveWfLemma

---

Home Index