Theorem tsum_prod_pow_eq_tsum_sigma

Modification history

2025-09-08 19:22

Mathlib/NumberTheory/TsumDivsorsAntidiagonal.lean

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

Added tsum_prod_pow_eq_tsum_sigma View on Github →