Theorem SimpleGraph.colorable_chromaticNumber

Modification history