Theorem SimpleGraph.chromaticNumber_ne_top_iff_exists

Modification history