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