exponential): derivative of `u ↦ exp 𝕂 (u • x)`

Commit

2 years ago

feat(analysis/special_functions/exponential): derivative of `u ↦ exp 𝕂 (u • x)` Co-authored-by: Anatole Dedecker <anatolededecker@gmail.com>

Author

eric-wieser

Committer

eric-wieser

Parents