Zulip Chat Archive
Stream: Is there code for X?
Topic: switching order of terms in absolutely converging series
Pietro Lavino (Jul 09 2024 at 23:41):
is there a theorem in lean stating that given an absolutely converging series then rearranging the terms does not change the sum?
Jireh Loreaux (Jul 10 2024 at 02:38):
Jireh Loreaux (Jul 10 2024 at 02:39):
Last updated: May 02 2025 at 03:31 UTC