Theorem MeasureTheory.Measure.iSup_restrict_spanningSets_of_measurableSet

Modification history

2024-04-29 16:41
Mathlib/MeasureTheory/Measure/Typeclasses.lean
feat: generalize `iSup_restrict_spanningSets` (#12439) …
Added MeasureTheory.Measure.iSup_restrict_spanningSets_of_measurableSetView on Github →