Theorem SimpleGraph.colorable_of_chromaticNumber_pos

Modification history