infinite_sum): relax the requirements on `has_sum.smul` (#8312)

Commit

4 years ago

chore(topology/algebra/infinite_sum): relax the requirements on `has_sum.smul` (#8312)

Author

eric-wieser

Parents