Theorem SimpleGraph.colorable_one_iff

Modification history

2026-05-23 01:27

Mathlib/Combinatorics/SimpleGraph/Coloring/VertexColoring.lean

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

Added SimpleGraph.colorable_one_iff View on Github →