Commit 2023-09-13 14:54 65ef10e6

chore: generalize layercake formulas to null-measurable and a.e.-nonnegative functions (#6936) The layercake formulas (a typical example of which is ∫⁻ f^p ∂μ = p * ∫⁻ t in 0..∞, t^(p-1) * μ {ω | f(ω) > t}) had been originally proven assuming measurability and nonnegativity of f. This PR generalizes them to null-measurable and a.e.-nonnegative f.