Mathlib Changelog
v4
Changelog
About
Github
Theorem
summable_partition
Modification history
2025-07-04 07:44
Mathlib/Topology/Algebra/InfiniteSum/Real.lean
chore: further whitespace fixes (#26708) …
Modified
summable_partition
View on Github →
2024-05-03 08:33
Mathlib/Topology/Algebra/InfiniteSum/Real.lean
feat(Topology/Algebra/InfiniteSum/Real): Add partition lemma (#12446) …
Added
summable_partition
View on Github →