Commit 2021-02-09 14:41 766146b9
View on Github →fix(topology/algebra/infinite_sum): remove hard-coding of ℕ and ℝ (#6096) It may be possible to make these assumptions stricter, but they're weak enough to still cover the original use case. Hopefully that can be handled by @alexjbest's upcoming linter to relax assumptions.