Theorem SimpleGraph.chromaticNumber_top_eq_top_of_infinite

Modification history