leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: new members

Topic: summation


Parivash (Mar 01 2022 at 17:13):

How w can change or determine the starting point in summation?
for example :
∑i=0+∞i∗θi \sum_{i=0}^{+\infty}i*\theta_{i} ∑i=0+∞​i∗θi​
is equal to
$$ 0 * \theta_{0} + \sum_{i=1}^{+\infty}i*\tehta_{i} $$

Jireh Loreaux (Mar 01 2022 at 18:09):

docs#tsum_eq_zero_add ?


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll