Theorem SimpleGraph.chromaticNumber_top

Modification history