Theorem SimpleGraph.chromaticNumber_pos

Modification history

2026-06-02 20:46

Mathlib/Combinatorics/SimpleGraph/Coloring/VertexColoring.lean

chore(Combinatorics/SimpleGraph): tidy various files (#37642)

Deleted SimpleGraph.chromaticNumber_pos View on Github →

2023-02-28 07:22

Mathlib/Combinatorics/SimpleGraph/Coloring.lean

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

Added SimpleGraph.chromaticNumber_pos View on Github →