Theorem PowerSeries.exp_pow_sum

Modification history

2023-05-22 18:54

Mathlib/RingTheory/PowerSeries/WellKnown.lean

feat: port RingTheory.PowerSeries.WellKnown (#4215) …

Added PowerSeries.exp_pow_sum View on Github →