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.