Theorem measurable_union

Modification history

2026-10-04 13:15

Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean

feat: measurability of set operations (#44274) …

Added measurable_union View on Github →