Theorem MvPowerSeries.expand_subst

Modification history

2026-01-18 13:18

Mathlib/RingTheory/MvPowerSeries/Expand.lean

feat(RingTheory/MvPowerSeries): some theorems about expand (#33885)

Added MvPowerSeries.expand_subst View on Github →