refactor(Analysis): golf Mathlib/Analysis/Normed/Operator/Mul
#38272
+25
−21
Loading