Zulip Chat Archive

Stream: general

Topic: Cauchy product theorem


view this post on Zulip Kenny Lau (Apr 27 2018 at 12:19):

doesn't seem to be in Lean

view this post on Zulip Johan Commelin (Apr 27 2018 at 12:20):

What is the statement, and should this be in #maths ?
(My topic on the five lemma should have been in #maths...)

view this post on Zulip Kenny Lau (Apr 27 2018 at 13:57):

If sum a_n is absolutely convergent to a, and sum b_n absolutely convergent to b, then sum sum (a_j b_{n-j}) is absolutely convergent to ab

view this post on Zulip Chris Hughes (Apr 27 2018 at 15:37):

I proved it, but haven't PRed yet.

view this post on Zulip Kenny Lau (Apr 27 2018 at 15:37):

what happened to your other PR's?


Last updated: May 08 2021 at 10:12 UTC