Theorem SimpleGraph.Colorable.chromaticNumber_eq_sInf

Modification history