Def Nat.divisorsAntidiagonalList

Modification history

2025-04-12 15:38

Mathlib/NumberTheory/Divisors.lean

feat(NumberTheory/Divisors): Define `Nat.divisorsAntidiagonalList` (#22977) …

Added Nat.divisorsAntidiagonalList View on Github →