Theorem measurable_compl

Modification history

2025-04-03 10:57

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

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

Modified measurable_compl View on Github →

2023-12-10 13:47

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

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

Added measurable_compl View on Github →