Def divisorsAntidiagonalFactors

Modification history

2025-12-27 18:03
Mathlib/NumberTheory/TsumDivisorsAntidiagonal.lean
feat(NumberTheory/ModularForms/EisensteinSeries/Summable): add auxiliary E2 lemmas (#32955) …
Modified divisorsAntidiagonalFactorsView on Github →
2025-08-31 15:32
Mathlib/NumberTheory/TsumDivsorsAntidiagonal.lean
chore: tidy various files (#29148)
Modified divisorsAntidiagonalFactorsView on Github →
2025-08-21 08:00
Mathlib/NumberTheory/TsumDivsorsAntidiagonal.lean
feat(NumberTheory/Divisors): add divisorAntidiagonal equivalence. (#27837)
Added divisorsAntidiagonalFactorsView on Github →