Theorem IsOpen.nullMeasurableSet

Modification history

2024-07-25 09:16
Mathlib/MeasureTheory/Constructions/BorelSpace/Basic.lean
feat(Ergodic/Conservative): generalize to `NullMeasurableSet`s (#15086) …
Added IsOpen.nullMeasurableSetView on Github →