Theorem measurableSet_setOf

Modification history

2025-04-03 10:57

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

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

Modified measurableSet_setOf View on Github →

2023-09-26 11:46

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

feat: Sigma-algebra generated by a singleton (#2513) …

Added measurableSet_setOf View on Github →