---

Step * of Lemma p-adic-non-decreasing

∀p:ℕ+. ∀a:p-adics(p). ∀n:ℕ+. ∀i:ℕ+n + 1.  ((a i) ≤ (a n))
BY
{ Auto }

1
1. p : ℕ+
2. a : p-adics(p)
3. n : ℕ+
4. i : ℕ+n + 1
⊢ (a i) ≤ (a n)

---

Latex:

---

Latex:
\mforall{}p:\mBbbN{}\msupplus{}.  \mforall{}a:p-adics(p).  \mforall{}n:\mBbbN{}\msupplus{}.  \mforall{}i:\mBbbN{}\msupplus{}n  +  1.    ((a  i)  \mleq{}  (a  n))


By

---

Latex:
Auto

---

Home Index