Theorem IsClosed.nullMeasurableSet

Modification history

2024-07-25 09:16

Mathlib/MeasureTheory/Constructions/BorelSpace/Basic.lean

feat(Ergodic/Conservative): generalize to `NullMeasurableSet`s (#15086) …

Added IsClosed.nullMeasurableSet View on Github →