Theorem measurableSet_mem

Modification history

2025-04-03 10:57

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

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

Modified measurableSet_mem View on Github →

2023-12-10 13:47

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

feat: `MeasurableSpace (Set α)` instance (#8946) …

Added measurableSet_mem View on Github →