refactor: golf Mathlib/MeasureTheory/Function/AEEqOfIntegral
#38248
Loading
Mathlib/MeasureTheory/Function/AEEqOfIntegral
#38248