Theorem MeasurableSet.of_union_cover

Modification history

2025-04-03 10:57

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

chore: split `MeasureTheory.MeasurableSpace.Basic` (#23523) …

Modified MeasurableSet.of_union_cover View on Github →

2023-10-12 12:34

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

feat: `NullMeasurable` function is `AEMeasurable` (#7604) …

Added MeasurableSet.of_union_cover View on Github →