Theorem PowerSeries.map_sin

Modification history

2023-05-22 18:54

Mathlib/RingTheory/PowerSeries/WellKnown.lean

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

Added PowerSeries.map_sin View on Github →