Theorem SimpleGraph.chromaticNumber_eq_biInf

Modification history