mathlib

b38aee47 - feat(analysis/special_functions): differentiability of Gamma function (#13000)

feat(analysis/special_functions): differentiability of Gamma function (#13000) Third instalment of my Gamma-function project (following #12917 and #13156). This PR adds the proof that the Gamma function is complex-analytic, away from the poles at non-positive integers.