Zulip Chat Archive
Stream: general
Topic: Cauchy product theorem
Kenny Lau (Apr 27 2018 at 12:19):
doesn't seem to be in Lean
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...)
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
Chris Hughes (Apr 27 2018 at 15:37):
I proved it, but haven't PRed yet.
Kenny Lau (Apr 27 2018 at 15:37):
what happened to your other PR's?
Last updated: Dec 20 2023 at 11:08 UTC