refactor(Analysis): golf Mathlib/Analysis/Complex/Trigonometric
#38274
+3
−12
Loading