Mathlib Changelog
v4
Changelog
About
Github
Theorem
Multipliable.of_finite
Modification history
2024-06-16 12:04
Mathlib/Topology/Algebra/InfiniteSum/Basic.lean
feat (MeasureTheory/Function): trivial cases of integrability / summability (#13872) …
Added
Multipliable.of_finite
View on Github →