Theorem PowerSeries.rescale_algebraMap_map

Modification history

2026-03-03 20:34
Mathlib/RingTheory/PowerSeries/Basic.lean
feat(RingTheory/PowerSeries/Substitution): add API (#26961)
Added PowerSeries.rescale_algebraMap_mapView on Github →