Theorem SimpleGraph.Colorable.chromaticNumber_mono_of_embedding

Modification history