Theorem tprod_comp_neg

Modification history

2025-10-02 08:08

Mathlib/Topology/Algebra/InfiniteSum/Basic.lean

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

Added tprod_comp_neg View on Github →