Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-03-13 14:53
ebb4b064
View on Github →
feat:
lintegral_piecewise
(
#22886
) From PFR
Estimated changes
Modified
Mathlib/MeasureTheory/Integral/Lebesgue.lean
added
theorem
MeasureTheory.lintegral_piecewise