Zulip Chat Archive
Stream: triage
Topic: issue !4#5878: Normed rings with summable geometric series
Random Issue Bot (Jan 13 2024 at 14:05):
Today I chose issue 5878 for discussion!
Normed rings with summable geometric series
Created by @Yury G. Kudryashov (@urkud) on 2023-07-13
Labels: t-analysis
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Oct 20 2025 at 14:13):
Today I chose issue #5878 for discussion!
Normed rings with summable geometric series
Created by @Yury G. Kudryashov (@urkud) on 2023-07-13
Labels: t-analysis
Is this issue still relevant? Any recent updates? Anyone making progress?
Yury G. Kudryashov (Oct 20 2025 at 20:11):
We have docs#HasSummableGeomSeries now, so I closed the issue.
Last updated: Dec 20 2025 at 21:32 UTC