Theorem PowerSeries.coe_rescaleAlgHom

Modification history

2026-03-03 20:34

Mathlib/RingTheory/PowerSeries/Substitution.lean

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

Added PowerSeries.coe_rescaleAlgHom View on Github →