[Merged by Bors] - refactor(MeasureTheory): golf Mathlib/MeasureTheory/Constructions/Pi
#38353
+6
−17
Loading