Commit 2024-05-08 08:07 2b89926e

feat: continuity of measure without monotonicity assumptions (#12447) Add four theorems about continuity from below/above of measures. Contrary to those already existing, no assumptions about the sequence of sets. Show that the measures of the partial unions/intersections converge to the measure of the union/intersection.