Theorem tprod_congr₂

Modification history

2025-09-08 19:22
Mathlib/Topology/Algebra/InfiniteSum/Basic.lean
feat(NumberTheory/Divisors): divisors antidiagonal tsum (#28690)
Added tprod_congr₂View on Github →