Theorem SimpleGraph.chromaticNumber_bot

Modification history

2026-05-23 01:27

Mathlib/Combinatorics/SimpleGraph/Coloring/VertexColoring.lean

feat(Combinatorics/SimpleGraph/Coloring/VertexColoring): `chromaticNumber ⊤` and other small lemmas (#38424) …

Modified SimpleGraph.chromaticNumber_bot View on Github →

2023-02-28 07:22

Mathlib/Combinatorics/SimpleGraph/Coloring.lean

feat Port/Combinatorics.SimpleGraph.Coloring (#2526)

Added SimpleGraph.chromaticNumber_bot View on Github →