Theorem PowerSeries.coeff_exp

Modification history

2023-05-22 18:54

Mathlib/RingTheory/PowerSeries/WellKnown.lean

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

Added PowerSeries.coeff_exp View on Github →