Theorem MeasureTheory.measure_spanningSets_trim_lt_top

Modification history

2026-07-02 09:24
Mathlib/MeasureTheory/Measure/Trim.lean
feat: generalize some lemmas by using conditional Jensen (#36888) …
Added MeasureTheory.measure_spanningSets_trim_lt_topView on Github →