Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.cliqueNum_le_chromaticNumber
Modification history
2026-01-30 13:30
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
feat(Combinatorics/SimpleGraph/Clique): avoid `Fintype`/`Finite` assumptions where possible (#33253) …
Added
SimpleGraph.cliqueNum_le_chromaticNumber
View on Github →