Theorem MeasureTheory.SigmaFinite.withDensity_of_ne_top

Modification history

2023-11-08 21:29
Mathlib/MeasureTheory/Measure/WithDensity.lean
feat: SigmaFinite instances for Measure.withDensity (#8271) …
Added MeasureTheory.SigmaFinite.withDensity_of_ne_topView on Github →