infinite_sum): summable_empty (#8241)

Commit

4 years ago

feat(topology/algebra/infinite_sum): summable_empty (#8241) Every function over an empty type is summable.

Author

gihanmarasingha

Parents