Theorem SimpleGraph.isEmpty_of_chromaticNumber_eq_zero

Modification history