Commit 2022-05-05 16:19 54af9e9b
View on Github →fix(topology/algebra/infinite_sum): tsum_neg
doesn't need summable
(#13950)
Both sides are 0 in the not-summable case.
fix(topology/algebra/infinite_sum): tsum_neg
doesn't need summable
(#13950)
Both sides are 0 in the not-summable case.