Theorem summable_norm_pow_mul_geometric_div_one_sub

Modification history

2025-09-08 19:22
Mathlib/NumberTheory/TsumDivsorsAntidiagonal.lean
feat(NumberTheory/Divisors): divisors antidiagonal tsum (#28690)
Added summable_norm_pow_mul_geometric_div_one_subView on Github →