mathlib3

d4bd4cda - fix(topology/algebra/infinite_sum): fix docstring typos and add example (#5159)

fix(topology/algebra/infinite_sum): fix docstring typos and add example (#5159) Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com> Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>