---

Step * of Lemma real-unit-sphere-subtype-ball

∀[n:ℕ]. (S(n) ⊆r B(n + 1))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  (S(n)  \msubseteq{}r  B(n  +  1))


By

---

Latex:
Auto

---

Home Index