chromaticNumber_mono

Mathlib.Combinatorics.SimpleGraph.Coloring

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

← MathLib Explorer

English

If G ≤ G' then χ(G) ≤ χ(G').

Русский

Если G вложен в G', то χ(G) не больше χ(G').

LaTeX

$$$G \\leq G' \\Rightarrow G.chromaticNumber \\le G'.chromaticNumber$$$

Lean4

theorem chromaticNumber_mono (G' : SimpleGraph V) (h : G ≤ G') : G.chromaticNumber ≤ G'.chromaticNumber :=
  chromaticNumber_le_of_forall_imp fun _ => Colorable.mono_left h

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

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

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

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