Theorem summable_prod_mul_pow

Modification history

2025-09-08 19:22

Mathlib/NumberTheory/TsumDivsorsAntidiagonal.lean

feat(NumberTheory/Divisors): divisors antidiagonal tsum (#28690)

Added summable_prod_mul_pow View on Github →