Commit 2025-08-20 08:59 d5743181

View on Github →

feat(Combinatorics/SimpleGraph): misc. coloring theorems (#28447)

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/Coloring.lean

added theorem SimpleGraph.Colorable.map

added theorem SimpleGraph.chromaticNumber_eq_iff_colorable_not_colorable

added theorem SimpleGraph.free_of_colorable