Theorem SimpleGraph.chromaticNumber_eq_iInf

Modification history