Theorem IsCompact.nullMeasurableSet

Modification history

2024-08-30 10:14
Mathlib/MeasureTheory/Constructions/BorelSpace/Basic.lean
chore(MeasureTheory): generalize to `NullMeasurableSet` (#16279) …
Added IsCompact.nullMeasurableSetView on Github →