Theorem multipliable_pnat_iff_multipliable_succ

Modification history

2025-10-02 08:08

Mathlib/Topology/Algebra/InfiniteSum/NatInt.lean

feat(Topology/Algebra/InfiniteSum/NatInt): add more pnat tsum lemmas (#27841)

Added multipliable_pnat_iff_multipliable_succ View on Github →