Theorem SimpleGraph.Colorable.chromaticNumber_pos

Modification history

2026-06-02 20:46
Mathlib/Combinatorics/SimpleGraph/Coloring/VertexColoring.lean
chore(Combinatorics/SimpleGraph): tidy various files (#37642)
Added SimpleGraph.Colorable.chromaticNumber_posView on Github →