Theorem tprod_zero_pnat_eq_tprod_nat

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 tprod_zero_pnat_eq_tprod_nat View on Github →