Theorem SimpleGraph.chromaticNumber_le_one_of_subsingleton

Modification history