Commit 2026-01-27 08:06 34d63a30

feat: additive content on open-closed intervals, mapping (u, v] to f v - f u (#34462) Cherry picked from #34055. It is the first step of the construction of the vector measure associated to a bounded variation function: later, we will extend the finite additivity given by the current PR to countable additivity thanks to general extension theorems for vector measures.