Theorem SimpleGraph.chromaticNumber_mono_of_embedding

Modification history