Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.Colorable.map
Modification history
2026-01-29 20:08
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
feat(Combinatorics): a clique has size at most the chromatic number (#32654) …
Modified
SimpleGraph.Colorable.map
View on Github →
2025-08-20 08:59
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
feat(Combinatorics/SimpleGraph): misc. coloring theorems (#28447)
Added
SimpleGraph.Colorable.map
View on Github →