Theorem PowerSeries.rescale_eq

Modification history

2026-03-03 20:34

Mathlib/RingTheory/PowerSeries/Substitution.lean

feat(RingTheory/PowerSeries/Substitution): add API (#26961)

Added PowerSeries.rescale_eq View on Github →