Def sigmaAntidiagonalEquivProd

Modification history

2025-12-27 18:03

Mathlib/NumberTheory/TsumDivisorsAntidiagonal.lean

feat(NumberTheory/ModularForms/EisensteinSeries/Summable): add auxiliary E2 lemmas (#32955) …

Modified sigmaAntidiagonalEquivProd View on Github →

2025-08-21 08:00

Mathlib/NumberTheory/TsumDivsorsAntidiagonal.lean

feat(NumberTheory/Divisors): add divisorAntidiagonal equivalence. (#27837)

Added sigmaAntidiagonalEquivProd View on Github →