---

Step * of Lemma sum_constant

∀[n:ℕ]. ∀[a:ℤ].  (Σ(a | x < n) = (a * n) ∈ ℤ)
BY
{ SumInd }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  \mforall{}[a:\mBbbZ{}].    (\mSigma{}(a  |  x  <  n)  =  (a  *  n))


By

---

Latex:
SumInd

---

Home Index