Theorem MeasureTheory.Measure.iSup_restrict_spanningSets
Modification history
2024-04-29 16:41
Mathlib/MeasureTheory/Measure/Typeclasses.lean
feat: generalize `iSup_restrict_spanningSets` (#12439) …
Modified MeasureTheory.Measure.iSup_restrict_spanningSetsView on Github →