mathlib3

refactor(measure_theory/measure/lebesgue): use `‖a‖₊ •` instead of `ennreal.of_real (|a|) *`

#19018

Open