Theorem MeasureTheory.sfinite_of_absolutelyContinuous

Modification history

2026-10-02 17:43
Mathlib/MeasureTheory/Measure/WithDensity.lean
chore: rename `sFinite` to `sfinite` in declaration names (#44292) …
Added MeasureTheory.sfinite_of_absolutelyContinuousView on Github →