[Merged by Bors] - refactor(Analysis): golf Mathlib/Analysis/Complex/Trigonometric#38274
Closed
yuanyi-350 wants to merge 2 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - refactor(Analysis): golf Mathlib/Analysis/Complex/Trigonometric#38274yuanyi-350 wants to merge 2 commits intoleanprover-community:masterfrom
Mathlib/Analysis/Complex/Trigonometric#38274yuanyi-350 wants to merge 2 commits intoleanprover-community:masterfrom
