Theorem PowerSeries.map_exp

Modification history

2023-05-22 18:54

Mathlib/RingTheory/PowerSeries/WellKnown.lean

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

Added PowerSeries.map_exp View on Github →