chromaticNumber_mono_of_embedding

English

For an embedding f: G → G', the chromatic number does not increase: χ(G) ≤ χ(G').

Русский

Для вложения f: G → G' хроматическое число не возрастает: χ(G) ≤ χ(G').

LaTeX

$$$\\text{For } f : G \\hookrightarrow G',\\; G.chromaticNumber ≤ G'.chromaticNumber$$$

Lean4

@[deprecated SimpleGraph.chromaticNumber_mono_of_hom (since := "2025-09-01")]
theorem chromaticNumber_mono_of_embedding {V' : Type*} {G' : SimpleGraph V'} (f : G ↪g G') :
    G.chromaticNumber ≤ G'.chromaticNumber :=
  chromaticNumber_mono_of_hom f

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