Theorem SimpleGraph.free_of_colorable

Modification history

2025-08-20 08:59
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
feat(Combinatorics/SimpleGraph): misc. coloring theorems (#28447)
Added SimpleGraph.free_of_colorableView on Github →