Mathlib Changelog
v4
Changelog
About
Github
Theorem
HahnSeries.coeff_sum
Modification history
2025-01-30 06:00
Mathlib/RingTheory/HahnSeries/Addition.lean
feat(RingTheory/HahnSeries): define powerSeriesFamily (#20205) …
Added
HahnSeries.coeff_sum
View on Github →