Commit 2025-06-06 19:11 8859e81e

View on Github →

style: differentiable_at -> differentiableAt (#25539)

Estimated changes

Modified Mathlib/NumberTheory/Harmonic/GammaDeriv.lean

added theorem Complex.differentiableAt_Gamma_nat_add_one

deleted theorem Complex.differentiable_at_Gamma_nat_add_one