Theorem PowerSeries.subst_C

Modification history

2026-04-13 12:57
Mathlib/RingTheory/PowerSeries/Substitution.lean
style: fix whitespace (#37993) …
Modified PowerSeries.subst_CView on Github →
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_CView on Github →