Theorem tsum_pow_div_one_sub_eq_tsum_sigma

Modification history

2025-09-08 19:22

Mathlib/NumberTheory/TsumDivsorsAntidiagonal.lean

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

Added tsum_pow_div_one_sub_eq_tsum_sigma View on Github →