[Merged by Bors] - chore(MeasureTheory/Integral/Lebesgue/Map): remove an erw#38502

yuanyi-350 wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

yuanyi-350:E_2yuanyi-350/yuanyi_mathlib4:E_2Copy head branch name to clipboard