Theorem PowerSeries.map_cos

Modification history

2023-05-22 18:54

Mathlib/RingTheory/PowerSeries/WellKnown.lean

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

Added PowerSeries.map_cos View on Github →