Mathlib Changelog
v4
Changelog
About
Github
Theorem
continuousOn_integral_of_compact_support
Modification history
2023-11-08 07:48
Mathlib/MeasureTheory/Integral/SetIntegral.lean
feat: continuity of parametric integrals with weaker assumptions (#8247) …
Added
continuousOn_integral_of_compact_support
View on Github →