Theorem HasSum.cexp

Modification history

2024-05-05 12:47

Mathlib/Analysis/SpecialFunctions/Exp.lean

feat: add `HasSum f a → HasProd (exp ∘ f) (exp a)` (#12635) …

Added HasSum.cexp View on Github →