[Merged by Bors] - refactor(Analysis): golf Mathlib/Analysis/Complex/Trigonometric
#38274
+3
−11
Loading