refactor(MeasureTheory): golf Mathlib/MeasureTheory/Function/L2Space
#38456
+5
−23
Loading