Commit 2023-11-14 10:54 3f810735

feat: s-finite measures (#8405) We define s-finite measures, i.e., measures which can be written as a countable sum of finite measures. We show that sigma-finite measures are s-finite, and extend a few results in the library from the sigma-finite case to the s-finite case.