# Commit 2023-05-25 19:59 e1a18cad

View on Github →feat(analysis/special_functions/exponential): derivative of `u ↦ exp 𝕂 (u • x)`

(#19062)
Revived from an old branch of @ADedecker, golfed using new lemmas that I added in the meantime.

feat(analysis/special_functions/exponential): derivative of `u ↦ exp 𝕂 (u • x)`

(#19062)
Revived from an old branch of @ADedecker, golfed using new lemmas that I added in the meantime.