Theorem MeasureTheory.setIntegral_support

Modification history

2025-04-15 08:42
Mathlib/MeasureTheory/Integral/Bochner/Set.lean
chore: split `MeasureTheory.Integral.SetIntegral` (#24070) …
Modified MeasureTheory.setIntegral_supportView on Github →
2025-01-02 12:06
Mathlib/MeasureTheory/Integral/SetIntegral.lean
feat(MeasureTheory/Integral/SetIntegral): add the restriction of an integral to the support (#20258) …
Added MeasureTheory.setIntegral_supportView on Github →