Theorem SimpleGraph.chromaticNumber_le_iff_colorable

Modification history