Mathlib Changelog
v4
Changelog
About
Github
Theorem
Continuous.stronglyMeasurable_of_hasCompactSupport
Modification history
2023-11-03 14:28
Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean
feat: Fubini for functions with compact support and non-sigma-finite measures (#8125)
Deleted
Continuous.stronglyMeasurable_of_hasCompactSupport
View on Github →
2023-07-24 16:15
Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean
feat: Integrability of g • f for g continuous with compact support and f locally integrable (#6100)
Added
Continuous.stronglyMeasurable_of_hasCompactSupport
View on Github →