refactor(Analysis): golf Mathlib/Analysis/Normed/Lp/lpSpace
#38437
+2
−11
Loading