Mathlib Changelog
v4
Changelog
About
Github
Theorem
HahnSeries.SummableFamily.pow_finite_co_support
Modification history
2024-12-23 11:30
Mathlib/RingTheory/HahnSeries/Summable.lean
chore(RingTheory/HahnSeries/Summable): refactor powers (#20187) …
Added
HahnSeries.SummableFamily.pow_finite_co_support
View on Github →