Theorem pnat_multipliable_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)
Deleted pnat_multipliable_iff_multipliable_succView on Github →
2025-01-06 11:55
Mathlib/Topology/Algebra/InfiniteSum/NatInt.lean
feat(Topology/Algebra/InfiniteSum/NatInt): Add pnat lems (#16544) …
Added pnat_multipliable_iff_multipliable_succView on Github →