Commit 2025-07-31 14:34 40704ea3
View on Github →chore: optimize code (#27669)
Following suggestions of @YaelDillies, optimize the code in Analysis/Complex/Conformal.lean. The optimizations were suggested during the review of #26839 but came in after Bors had already merged the PR.