Theorem PowerSeries.subst_def

Modification history

2026-03-03 20:34

Mathlib/RingTheory/PowerSeries/Substitution.lean

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

Added PowerSeries.subst_def View on Github →