divisorsAntidiagonal_three

Mathlib.NumberTheory.Divisors

URI: https://scilib.ai/kg/mathlib#Int.divisorsAntidiagonal_three

English

The divisorsAntidiag of 4 consists of six pairs: (1,4), (2,2), (4,1), (-1,-4), (-2,-2), (-4,-1).

Русский

DivisorsAntidiag от 4 состоит из шести пар: (1,4), (2,2), (4,1), (-1,-4), (-2,-2), (-4,-1).

LaTeX

$$$\operatorname{divisorsAntidiag}(4) = \{(1,4),(2,2),(4,1),(-1,-4),(-2,-2),(-4,-1)\}.$$$

Lean4

@[simp]
theorem divisorsAntidiagonal_three : Int.divisorsAntidiag 3 = {(1, 3), (3, 1), (-1, -3), (-3, -1)} :=
  rfl

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru