antidiagonal — Mathlib

English

The antidiagonal of a natural number n is the list of pairs (i, j) with i + j = n.

Русский

Антидиагональ числа n — это список пар (i, j), таких что i + j = n.

LaTeX

$$$\\mathrm{antidiagonal}(n) = \mathrm{range}(n+1).\\map\\(i \\mapsto (i, n - i))$$$

Lean4

/-- The antidiagonal of a natural number `n` is the list of pairs `(i, j)` such that `i + j = n`. -/
def antidiagonal (n : ℕ) : List (ℕ × ℕ) :=
  (range (n + 1)).map fun i ↦ (i, n - i)

Похожие утверждения