Theorem nullMeasurableSet_Icc

Modification history

2026-01-26 08:43
Mathlib/MeasureTheory/Constructions/BorelSpace/Order.lean
feat(MeasureTheory/Probability): Generalize some theorems by replacing OrderClosedTopology with ClosedIciTopology (#34432) …
Modified nullMeasurableSet_IccView on Github →
2024-09-17 19:29
Mathlib/MeasureTheory/Constructions/BorelSpace/Order.lean
feat(MeasureTheory/Borel): add `nullMeasurable_Ixx` (#16829)
Added nullMeasurableSet_IccView on Github →