Theorem PowerSeries.constantCoeff_expand

Modification history

2026-01-18 13:18
Mathlib/RingTheory/PowerSeries/Expand.lean
feat(RingTheory/MvPowerSeries): some theorems about expand (#33885)
Added PowerSeries.constantCoeff_expandView on Github →