Theorem HasCompactSupport.stronglyMeasurable_of_prod

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)
Added HasCompactSupport.stronglyMeasurable_of_prodView on Github →