Theorem SimpleGraph.chromaticNumber_bot

Modification history