deleteEdges_spanningCoe_eq

Mathlib.Combinatorics.SimpleGraph.Subgraph

URI: https://scilib.ai/kg/mathlib#SimpleGraph.Subgraph.deleteEdges_spanningCoe_eq

English

Removing edges does not increase the spanning coefficient; it commutes with spanningCoe.

Русский

Удаление рёбер не увеличивает spanningCoe; оно коммутирует с ним.

LaTeX

$$$ (G'.spanningCoe.deleteEdges s) = (G'.deleteEdges s).spanningCoe $$$

Lean4

@[simp]
theorem deleteEdges_spanningCoe_eq : G'.spanningCoe.deleteEdges s = (G'.deleteEdges s).spanningCoe :=
  by
  ext
  simp

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

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

Разделы

Аффилиация

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