Def Complex.Gamma

Modification history

2023-12-20 19:25

Mathlib/Analysis/SpecialFunctions/Gamma/Basic.lean

feat: non-integrability results of derivatives on `[a, +oo)` (#8712) …

Deleted Complex.Gamma View on Github →

2023-06-14 11:40

Mathlib/Analysis/SpecialFunctions/Gamma/Basic.lean

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

Added Complex.Gamma View on Github →