Theorem tprod_int_eq_zero_mul_tprod_pnat_sq

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