isSymm_degMatrix

Mathlib.Combinatorics.SimpleGraph.LapMatrix

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

English

The degree matrix is symmetric; its transpose equals itself.

Русский

Матрица степеней симметрична; её транспонированная равна самой матрице.

LaTeX

$$$(G.degMatrix R).IsSymm$$$

Lean4

theorem isSymm_degMatrix [AddMonoidWithOne R] : (G.degMatrix R).IsSymm :=
  isSymm_diagonal _

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

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

Разделы

Аффилиация

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