Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.exp_multiset_sum

Modification history

2019-12-27 14:05
src/data/complex/exponential.lean
refactor(*): unify API of `list/multiset/finset.prod_hom` (#1820) …
Added complex.exp_multiset_sumView on Github →