Commit 2023-10-15 14:04 d7cb8fe4

feat: remove sigma-finiteness assumption in layercake formula (#7454) Currently, the layercake formula for the Lebesgue integral assumes sigma-finiteness of the measure, while the layercake formula for the Bochner integral (and integrable functions) doesn't. At the cost of a more complicated proof, we remove the sigma-finiteness also from the Lebesgue measure case.