Commit 2023-11-13 09:12 295f071b
View on Github →feat: in a sigma-finite space, withDensity f s is the integral of f over s even if s is not measurable (#8377)
feat: in a sigma-finite space, withDensity f s is the integral of f over s even if s is not measurable (#8377)