deleteVerts_empty

Mathlib.Combinatorics.SimpleGraph.Subgraph

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

English

Deleting the empty set of vertices leaves the subgraph unchanged: G'.deleteVerts ∅ = G'.

Русский

Удаление пустого множества вершин не изменяет подграф: G'.deleteVerts ∅ = G'.

LaTeX

$$$ G'.deleteVerts \emptyset = G' $$$

Lean4

@[simp]
theorem deleteVerts_empty : G'.deleteVerts ∅ = G' := by simp [deleteVerts]

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

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

Разделы

Аффилиация

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