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