[Merged by Bors] - feat: another version of dominated convergence for AEMeasurable functions#39768

mathlib-splicebot[bot] wants to merge 1 commit into

masterleanprover-community/mathlib4:masterfrom

splice-bot/pr-39517-Mathlib-MeasureTheory-Integral-Lebesgue-DominatedConvergence.lean-c45c887233-3tiupl5leanprover-community/mathlib4_copy:splice-bot/pr-39517-Mathlib-MeasureTheory-Integral-Lebesgue-DominatedConvergence.lean-c45c887233-3tiupl5Copy head branch name to clipboard