Commit 2025-04-15 08:42 6b8c3cca
View on Github →chore: split MeasureTheory.Integral.SetIntegral
(#24070)
Split off
MeasureTheory.Integral.Bochner.ContinuousLinearMap
for the commuting of continuous linear maps with the Bochner integralMeasureTheory.Integral.Bochner.FundThmCalculus
for the fundamental theorem of calculus on set integrals The file itself is also renamed toMeasureTheory.Integral.Bochner.Set
.