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 →