infinite_sum): add `has_sum.smul_const` etc (#10393)

Commit

4 years ago

feat(topology/algebra/infinite_sum): add `has_sum.smul_const` etc (#10393) Rename old `*.smul` to `*.const_smul`.

Author

urkud

Parents