Theorem Complex.differentiableAt_Gamma_nat_add_one

Modification history

2025-06-06 19:11
Mathlib/NumberTheory/Harmonic/GammaDeriv.lean
style: differentiable_at -> differentiableAt (#25539)
Added Complex.differentiableAt_Gamma_nat_add_oneView on Github →