Commit 2024-05-11 15:34 4dffa6dc

View on Github →

feat: every s-finite measure is absolutely continuous w.r.t. some finite measure (#12759) Also prove that every s-finite measure is the sum of a sigma-finite measure and a measure that takes only the values 0 and infinity.

Estimated changes