Theorem PowerSeries.rescale_map

Modification history

2026-03-03 20:34

Mathlib/RingTheory/PowerSeries/Basic.lean

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

Added PowerSeries.rescale_map View on Github →