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_chromaticNumberView on Github →