Theorem Complex.hasDerivAt_GammaIntegral

Modification history

2024-10-17 04:14

Mathlib/Analysis/SpecialFunctions/Gamma/Basic.lean

chore: move differentiability of Gamma to a new file (#17775)

Modified Complex.hasDerivAt_GammaIntegral View on Github →

2023-06-14 11:40

Mathlib/Analysis/SpecialFunctions/Gamma/Basic.lean

feat: port Analysis.SpecialFunctions.Gamma.Basic (#5042)

Added Complex.hasDerivAt_GammaIntegral View on Github →