commonNeighbors_symm

Mathlib.Combinatorics.SimpleGraph.Basic

URI: https://scilib.ai/kg/mathlib#SimpleGraph.commonNeighbors_symm

English

The commonNeighbors relation is symmetric: CN(v,w) = CN(w,v).

Русский

Отношение общих соседей симметрично: CN(v,w) = CN(w,v).

LaTeX

$$$G.commonNeighbors(v,w) = G.commonNeighbors(w,v)$$$

Lean4

theorem commonNeighbors_symm (v w : V) : G.commonNeighbors v w = G.commonNeighbors w v :=
  Set.inter_comm _ _

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

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

Разделы

Аффилиация

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