Theorem PowerSeries.coeff_prod

Modification history

2024-02-14 01:35

Mathlib/RingTheory/PowerSeries/Basic.lean

feat(RingTheory/PowerSeries/Basic): coeff of products (#9309) …

Added PowerSeries.coeff_prod View on Github →