Theorem SimpleGraph.chromaticNumber_mono

Modification history