Theorem HasSum.exp

Modification history

2024-05-05 12:47
Mathlib/Analysis/SpecialFunctions/Exponential.lean
feat: add `HasSum f a → HasProd (exp ∘ f) (exp a)` (#12635) …
Added HasSum.expView on Github →