Mathlib Changelog
v4
Changelog
About
Github
Theorem
PowerSeries.subst_C
Modification history
2026-03-21 06:41
Mathlib/RingTheory/PowerSeries/Substitution.lean
feat(MvPowerSeries): subst_C and omit some finiteness of index set (#35842)
Added
PowerSeries.subst_C
View on Github →