Theorem SimpleGraph.chromaticNumber_pos

Modification history